Porter la carte au zoom 20 et passer le worker à 5 workers

docker-compose.worker.yml

@@ -33,7 +33,7 @@ services:
       - LIDAR_OUTPUT_DIR=/data/output
       # Les générations lancées depuis une webapp distante utilisent le GPU
       - LIDAR_GPU=1
-      - LIDAR_WORKERS=2
+      - LIDAR_WORKERS=5
       # Protéger l'API si le réseau n'est pas de confiance : même valeur que
       # LIDAR_REMOTE_TOKEN sur chaque webapp distante (sinon, laisser commenté)
       # - LIDAR_API_TOKEN=change-moi

lidar_pipeline/index.py

@@ -1948,7 +1948,7 @@ const map = L.map('viewport', {
   zoomControl: false,
   attributionControl: false,
   minZoom: 4,
-  maxZoom: 19,
+  maxZoom: 20,
   // Les marqueurs ne doivent pas glisser individuellement pendant le zoom :
   // le pane lidarTiles est mis à l'échelle d'un bloc (voir zoomanim ci-dessous),
   // le glissement propre des icônes s'ajouterait au scaling (double mouvement).
@@ -1974,7 +1974,10 @@ window.map = map; // accès débogage / automatisations
 window.TILES = TILES;
 
 const osmLayer = L.tileLayer('https://tile.openstreetmap.org/{z}/{x}/{y}.png', {
-  maxZoom: 19,
+  // OSM s'arrête à z19 : au-delà Leaflet agrandit les tuiles z19
+  // (maxNativeZoom) au lieu de demander des tuiles inexistantes.
+  maxZoom: 20,
+  maxNativeZoom: 19,
   keepBuffer: 1
 }).addTo(map);
 L.control.scale({ metric: true, imperial: false, position: 'bottomleft' }).addTo(map);