Commentaires : make doc produit maintenant une documentation lisible.