Modification des horaires d'ouverture de la mairie