A la recherche de la merde perdue... (dans Tseitin ?)