Introduit un enum en C++, expliquant sa syntaxe, ses conventions, ses valeurs par défaut et son utilisation dans les instructions switch, et définit la définition des constantes.
Couvre le théorème de Doignon en programmation entière, indiquant qu'un ensemble est minimalement irréalisable si la suppression de toute contrainte le rend réalisable.