Modification des horaires d’ouverture de la mairie du 5 au 16 août