correction test contraintes