[2.13.0] — Filtrage par tags (ET/OU) et refonte visuelle du Hasard

• 2.13.0 — Large rework of the Hasard tab's tag filtering, prompted by importing a big
  batch of words (the classic "one tag now dwarfs every other in volume" problem) and by a
  visual redesign pass on the whole filter area:
  • Filtering semantics, please read if combining tags: checking several tags is OR by
    default (matches any of them) — with an uneven tag distribution, OR-combining a huge
    tag with a small one mostly just gives the huge one back. A new "Tous les tags cochés
    (ET)" toggle switches to requiring every checked tag at once for a real intersection.
    A further "+ au moins un tag en plus de ceux cochés" toggle asks for the checked
    tag(s) plus any other tag on top, generic rather than hardcoded to one specific tag.
  • Fixed: the live pool counter used the new ET/"+1 tag" options, but the actual draw
    button forgot to pass them along and used the old OR-only logic — the counter said one
    number, the draw came from a bigger pool. Both now share the exact same filtering call.
  • The exclusion review mode ("🚫 Explorer les exclus") is no longer a pseudo-tag mutually
    exclusive with everything else — it's its own toggle now, and combines properly with tag
    filters (e.g. review just the excluded words also tagged "méral").
  • New "🏷️ Explorer les multi-tagués" shortcut (2+ tags at once), the mirror of the existing
    "📭 Masquer les mots déjà tagués" (0 tags) — both now based on a shared helper that
    excludes the reserved "exclu" tag from the count, so review mode doesn't skew it.
  • The "☆ Explorer" bandeau shortcut is now fixed to your "like" tag specifically, instead of
    "whichever tag is used most" — a bulk import's tag can otherwise dwarf your own in raw
    count without being more useful as a shortcut.
  • Stats panel gained a per-tag breakdown and every tag combination actually observed in your
    dictionary (not all theoretically possible ones, just the real ones).
  • Fixed: merging two notes for the same word (via "🧹 Nettoyer et fusionner" in Settings,
    or a re-import) used to silently keep whichever note was seen first, discarding the other
    even if it was richer. Now: if one note fully contains the other, the more complete one
    wins; if they genuinely differ, both are kept, joined by a compact "· · ·" separator at
    render time (works retroactively on already-merged notes too, no data migration needed).
  • Fixed: notes imported from OCR'd/scanned sources often have arbitrary mid-sentence line
    breaks (fixed-width original page layout) — now flattened to normal flowing text instead of
    rendering as ragged short lines.
  • Visual pass on the whole filter area: harmonised pill shapes for the top shortcuts, two
    colour-coded collapsible sections (violet = include, gold = exclude — freeing up red to
    mean only "the drawn word" and "Graver"), badges showing active-filter counts even while
    collapsed, mutually-exclusive "voir tous les tags" panels (opening one closes the other),
    and the draw button/word card restructured into a single visual block (button now above
    the result, definition text justified instead of centered, "Graver" moved after the
    tagging controls since you tag first and commit second).