Congés d’été, fermeture de la mairie