Festivités du 14 juillet et match du PSG : 11 500 forces de sécurité mobilisées à Paris pour éviter les débordements