Algorithme pour contrainte CHECK

Version imprimable