Arrêté du 25 juillet 2012 relatif à la détention et au port d'armes par certains agents de la ville de Paris chargés d'un service de police