Ce cours discute la sémantique opérationnelle des langages de programmation
séquentiels. Les notes de cours sont disponibles sur HAL
(https://hal.archives-ouvertes.fr/cel-01422101, chapitres 1--18).