Références: [Jou] Avec la thèse de Bruno MARMOL [Mar94,JMP94], nous avons vraiment expérimenté nos techniques d'évaluation parallèle sur différents types de machines. J'aimerais utiliser cette approche non plus dans le sens d'une parallélisation implicite, mais comme moyen de vérification d'une approche de parallélisation explicite: fournir à l'utilisateur (l'écrivain) un moyen de décrire des applications parallèles. De plus, dans [SCG95], l'exemple de base et l'abstraction employée pour leurs analyses de programmes fonctionnels (graphe de dépendance) montre assez clairement qu'il doit exister de grandes similitudes entre les méthodes de parallélisation implicite de programmes fonctionnels et celles introduites pour les grammaires attribuées. Sur l'exemple de base de cet article, notre transformation FNC- l-ordonnée effectue une transformation du programme fonctionnel qui semble être l'information recherchée par leurs analyses [SCG95] (voir aussi la section 2.9).