Mairie à Grandrupt. Adresse, horaires d’ouverture, téléphone