MAIRIE n. f.
XIII^e siècle. Dérivé de maire.
☆1. Charge, dignité de maire. Être élu à la mairie de sa ville. Perdre, gagner une mairie aux élections. Par méton. Rare. Temps pendant lequel cette fonction est exercée. Pendant sa mairie.
☆2. Bâtiment, ensemble de bâtiments où se tient l'administration municipale (dans certaines villes, on dit aussi Hôtel de ville ou Maison commune). Aller à la mairie pour demander une pièce d'état civil. Une annexe de la mairie. Par méton. L'administration municipale. Un employé de mairie. Le secrétaire de mairie. Les services de la mairie.
☆3. HIST. Mairie du palais, charge de maire du palais.