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