Patio de arcadas dobles, TOLEDO