Exercice I (9 points) - Sémantique opérationnelle - Laure Gonnord