Finale de la Ligue des Champions : un dispositif "massif" de 5400 policiers et gendarmes mobilisés à Paris