La finale de la Ligue des champions devrait se jouer à Porto