Ligue des champions : près de 7 000 policiers, gendarmes et pompiers mobilisés pour la finale