Intégration de domaines à variables dans un solveur de contraintes ensemblistes.