Finale du PSG /14 juillet : 11 500 policiers et gendarmes mobilisés