Ajout d'affichage pour la vérification
Ajout de plein de tests de trucs satisfiables, et d'un programme de vérification de l'assignation