Tseitin

Merging de la branche tseitin