version 4.42.2 : réparer GIS lorsque la compression JS est active

Le filtre compacte du compresseur n'aime pas la nouvelle version minifiée de Leaflet, du coup, en attendant mieux, on utilise toujours la version src (qui de toute façon sera compactée par le plugin compresseur quand celui-ci est actif)

Merci Real3t pour le signalement