Modifications des horaires d’ouverture de la mairie