Modification global du modele,
changement du solver en abstract solver
ajout de deux nouvelle class ForwardCheckingSolver et Test And Generate Solver
Chacune implémente seulement la méthode utile au solver