Fcontion Lecture terminée (non testée)
ajout de fonction ajoutLitteral aux clauses et affichage de clauses dans nouveaux fichiers gestionLitteraux