Ajout d'une methode d'arc consistency dans le solver