Quelques modifs dans clause et formule, avec l'ajout de commentaires qui signalent certains "doutes". Les modifs suivantes :

-dans vartable :
  renommage de mem en find
  création de mem (qui renvoie un bool renseignant sur l'existence de l'elt ou non dans la vartable)

-dans clause :
  ajout de la methode singleton

-dans clauseset  :
  ajout de la méthode filter

-dans formule :
  ajout d'un attribut nb_vars
  dans initializer : j'initialise les occurences_pos/neg avec des new varset
  dans set_val : detection des clauses vides
  ajout des methodes :
       get_nb_vars
       set_pari
       is_pari
       get_pari
       find_singleton
       find_single_polarite