Ligue des Champions : près de 7000 policiers, gendarmes et pompiers mobilisés pour la finale