visto el suntuoso recinto conocido aún con el nombre del Patio de los Leones.