avancé dans la fonction lecture (nbClauses,nbLitteraux) modification du README.MD