Génération doc html

Le emacs -batch $^ -f "org-html-export-to-html" n'a jamais fonctionné en batch chez moi (et comme certaines releases ont été faites en .tar.gz depuis chez moi, ce n'est pas sûr que tous les fichiers html étaient toujours à jour et/ou aient été inclus dans les dernières releases).

Bref dans !97 (merged) c'est pour l'instant commenté... à voir si on le met ou pas. Les .org sont de toute façon bien présents. Tout cela sera probablement obsolète par #3004 (closed).