Este rey será conocido con posterioridad como Alfonso VII el Emperador.