MAIRIE. n. f. Office de maire. La mairie de Bordeaux.
Il désigne aussi le Temps durant lequel on exerce cette fonction. Pendant sa mairie.
Il désigne encore le Bâtiment où se tient l'administration municipale. Aller à la mairie pour demander une pièce, un acte, un certificat.
Mairie du palais, Dignité de maire du palais. Pépin avait été élevé à la mairie du palais.
Tout ou partie de cette définition est extrait du Dictionnaire de l'Académie française, huitième édition, 1932-1935