6  La sémantique opérationnelle à grands pas de C--

Elle est définie dans le cours: voir la section 1.6 du poly de sémantique numéro 1.