typos diverses, un peu de latex, ajout d’un fichier avec ce qu'il y a à faire.