Finale de Ligue des champions : un dispositif de police exceptionnel à Paris