Un Langage modulaire de spécifications de programmes parallèles et sa compilation — Amaury Heibig