La Mairie passe aux Horaires d’été.