El sorteo de la fase grupal de la Liga de Campeones