Vers une définition méthodique d'architecture de calculateur pour l'exécution parallèle des langages fonctionnels — Michel Cubero-Castan