Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts — Luigi Zaffalon