ajout minisat dans le main avec commande minisat