Doctor De Soto — 1982 picture book by William Steig