feat(mobile): ruban d'edition style Obsidian + correctifs mobile (#83, BUG-017 a BUG-020)

- #83: ruban horizontal defilable ancre au-dessus du clavier, commandes
  etendues (titres, barre, surligne, code bloc, citation, listes, cases,
  wikilinks, tags, pieces jointes, undo/redo, colle, police) et
  personnalisation persistee via l'icone engrenage
- BUG-017: cartes du tableau de bord compressibles (min-width:0)
- BUG-018: en-tete editeur mobile compact, boutons Annuler/Sauvegarder
  accessibles, barre IA plus tactile
- BUG-019: ancrage du ruban via visualViewport (--kb-offset)
- BUG-020: suppression de la double barre de defilement

Tests: mobile-editor 35/35, ai 50/50, 9 suites JSDOM, validate-imports,
pytest 961 passed / 6 skipped, ruff + mypy 0.

frontend/index.html

@@ -129,6 +129,8 @@
                 defaultKeymap,
                 history,
                 historyKeymap,
+                undo,
+                redo,
             } from "https://esm.sh/@codemirror/[email protected]?external=@codemirror/state";
             import {
                 searchKeymap,
@@ -200,6 +202,8 @@
                 rust,
                 oneDark,
                 keymap,
+                undo,
+                redo,
                 Decoration,
                 ViewPlugin,
                 WidgetType,