c'est qu'on en apprend des choses aux journées du patrimoine ! bon, là vous avez deviné... c'est la mairie !