Ajout de la documentation HTML.