export html: Transformer l'export pdf en export html
On passe donc tout en html. Au bout, on supprimera pdf.js ? (il y a encore le graphe .pdf pour l'article)
Merci Marc, on va dire que globalement c'est bon, on crée des nouvelles tâches pour les bugs restants.
#1357 (closed), #1358 (closed)