Sémantiques et modèles d'exécution des langages réactifs synchrones — Georges Gonthier