Debugage de la conversion en CNF : cas des clauses
TODO :
 - traiter le cas ou f est deja une CNF (autre que clause)
 - verifier que le cas general (Tseitin) fonctionne