génération de fichier input pour Minisat