el dilatado pórtico oriental.