Fête de la musique à Paris: 2300 policiers et gendarmes mobilisés