Resultado de la búsqueda: ¿como paso a llamarse el reino de asturias en el año 722?