Passage du code de Tseitin en Scala (toujours bug)