Surgery of diverticulitis of the colon.