Expression et réalisation du contrôle d'exécution dans un système reparti — Marc Rozier