Avec ÉTIENNE DURIS Certains exemples de programmes fonctionnels se traitent en ``une passe'' en évaluation paresseuse mais nécessitent une décomposition en plusieurs fonctions en cas d'évaluation stricte. En général, cette décomposition doit être effectuée à la main. Or ces exemples s'écrivent en GA aussi facilement que la version fonctionnelle paresseuse tandis que la décomposition (calcul de l'ordre d'évaluation et des séquences de visite) est réalisée automatiquement par le système. Nous avons démarré une étude systématique sur ce sujet, mais nous n'avons pas encore de résultat méritant publication, juste quelques comparaison avec le langage fonctionnel paresseux HASKELL sur des exemples types [Jou96].