This is an old revision of the document!
Partie I – Intégrer des contraintes
Partie II – Spécialisation par contraintes