Legers changements dans FOrmulaToCNFConverter