¿Cuándo fue la última vez que Messi y Cristiano se enfrentaron en Champions?