[Diverticulosis of the small intestine].