On décrit une nouvelle sémantique formelle du langage Esterel. Cette sémantique est donnée sous forme de signaux partiellement ordonnés entre eux. Cette sémantique est définie à partir d'un calcul de processus inhérent à Esterel et est ensuite étendue à Esterel tout entier. Cette sémantique est directe dans le sens où elle ne fait pas appel à la notion de critère d'observation, elle vérifie le déterminisme des programmes et admet la modularité.