Ligue des champions : La finale officiellement délocalisée à Porto devant au moins 12.000 supporteurs anglais