Bonjour,

attention tout de même, le fait de mettre un nom ou pas sur les mairies ne fait pas l'objet d'un consensus dans la communauté (voir par exemple ce fil sur le forum https://forum.openstreetmap.fr/t/utilite-des-noms-descriptifs/16715/76), et la reconstruction d'un nom complet de mairie à partir de la commune où elle se situe n'est pas une opération si triviale que ça en a l'air.

Bonne cartographie.