Iglesia de San Ildefonso, vista desde el coro, TOLEDO