Epuration du code
Correction d'un bug du a la restriction du nombre de domaine dans le forward checking
Changement de comportement
Modification de l'algo du solver
Ajout de test pour l'operator == et modiification du comportement de reduce domains
Changement comportement operateur ==, TODO unicité des domaines
Correction du problème de doublon lors de la reduction de domaine de l'opérateur ==