Gestion complète de l'option tseitin.