ajout de getSmallCNF (version basique pour le moment)