correction de l'un des bugs de first fail bis + debut generateur cnf