Algorithme de contrainte