maj_yaya_11-2-14

- decodage sat-4j
- fonction nbvariables
- compteur de clauses (satgrille seulement, satjeu todo)
- creer_cnf()
- entete cnf