Remise des tests effacés par erreur du trackage de git, et ajout des tests random 3-SAT à 100 variables