Finale de la Ligue des champions : « un dispositif massif » de « 5 400 » policiers et gendarmes mobilisés à Paris