Version terminée satisfiabilité + ensembleFormule