Finale de Ligue des champions : 5 400 policiers mobilisés à Paris pour encadrer l'événement