«En Sevilla este patio es del tamaño de la antigua mezquita cuya área ocupa.