Modification horaire d’ouverture de la mairie.