/** * back-to-top.js — Bouton de retour en haut de page * ============================================================================= * Le bouton n'apparaît qu'une fois l'utilisateur descendu au-delà d'une * hauteur d'écran : afficher un raccourci de retour alors qu'on est déjà * en haut n'a aucune utilité et encombre l'interface. * * Détection par IntersectionObserver sur une sentinelle placée en haut du * document, plutôt que par écouteur de scroll — même raison que pour le * scroll-spy : pas de recalcul de mise en page à chaque pixel parcouru. * * Le bouton est un vrai