Conversion de CNF en liste de clauses
TODO : verifier le cas general (Tseitin)