You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Je rajouterais bien quelques cartes géographiques en utilisant Leaflet.js. Est-ce que tu sais si il y a un document officiel qui fasse le lien entre maire/mairie et positions GPS (WGS84) ?
Sinon je pense faire un script de geocoding rapidement.
The text was updated successfully, but these errors were encountered:
Je ne connais pas de tel document, mais leaflet a l'air d'avoir des plugins qui font bien ça (http://leafletjs.com/plugins.html partie geocoding). Ça pourrait être sympa d'avoir une jolie carte en plus des stats, en effet !
Salut,
Je rajouterais bien quelques cartes géographiques en utilisant Leaflet.js. Est-ce que tu sais si il y a un document officiel qui fasse le lien entre maire/mairie et positions GPS (WGS84) ?
Sinon je pense faire un script de geocoding rapidement.
The text was updated successfully, but these errors were encountered: