Petit ajout, VERBOSE >0 dans CLause.hh, pour que ça compile en bench ==> à voir