1 ressource : solveur de contrainte