Lancer le script bash ./get_mairies_from_ign_bdtopo.sh
Il permet de créer 2 fichiers GeoJSON:
mairies_multipolygons.geojson est celui des emplacements de la mairie principale pour chaque commune. Quelques lignes sont vides, certaines communes n’ayant plus de mairie (exemple des communes mortes pour la France)centre_communes.geojson prend le centre du polygone de la mairie et sinon le centre de la commune. En réalité, il ne s’agit pas d’un centre mais d’un opération qui génère un centroide et le corrige pour s’assurer que ce dernier est bien dans le multipolygone.Nous créons un 3ème fichier centre_communes.csv pour ceux qui préfèrent un fichier plat.