Logique sous-jacente des Futures