/* ─────────────────────────────────────────────── FAVORIS — bouton de nav (trigger + badge) Ces règles étaient injectées par favorites.js dans un