petit ajout au fichier principal tex de la documentation