Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire