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