L’ancienne mairie.