chargement d'un fichier d'example pour manipuler les formes normales conjonctives