exécution binaire par machine abstraite ok. Nom de la formule dans les fichiers générés. Changement du répertoire tmp. Disparition du résultat attendu en logique classique.