correction des tests de contraintes