Sevilla vs Real Madrid: horario y formaciones

Las formaciones se publican cerca de una hora antes del inicio; el minuto a minuto y las estadísticas, durante el partido.