Finale de la Ligue des champions : 6.800 policiers et militaires mobilisés pour éviter les débordements