correction dans le cas insatisfiable + ajout d'un générateur de test