Police municipale à Paris : entre Griveaux et Hidalgo, la course à l'armement