Finale de la Ligue des champions : à Paris, un dispositif de sécurité « sans précédent »