{# Chargeur Leaflet partagé par les widgets carte (route-map, places-map). Leaflet est auto-hébergé (/assets/vendor/leaflet/) et chargé paresseusement : le script ne s'injecte que si un widget carte est présent sur la page, et une seule fois même avec plusieurs cartes. Chaque widget inclut ce partial ; la garde ci-dessous fait qu'il ne définit la fonction qu'une fois. La vérification de window.L couvre aussi le cas où Leaflet est déjà chargé par ailleurs (sélecteur de point relais de la boutique). #}