version fonctionnelle, bonne valeur de delta a t = 0 - a verifier la couverture