Vérification des contraintes