Compilation séparée et exécution distribuée d'applications synchrones modulaires programmées en Esterel — Olivier Hainque