4800 policiers et gendarmes mobilisés pour la Fête de la musique à Paris