Ce cours commence par une introduction générale aux concepts de langages réactifs, en montrant en particulier la différence entre les langages transformationnels et réactifs. La seconde partie porte sur la présentation d'un langage réactif, Esterel.