Quelle type d'entreprise est la mairie ?