do•doc v7.1.0

Ajout export "web" pour les publis.
Amélioration interface édition de texte, ajout option "style" dans les publications.
Résolution de bug empêchant le lancement sous Linux.
Beaucoup de petites améliorations de l’interface.