Ajout modification du solver, début du forward Checking