ajout minisat.h + avancée README