Factorisation entre la vérification de la consitance lors du
positionnement des contraintes et la vérification des contraintes .