Test du FormulaToCNFConverter