Text this: [Vagotomy in peptic ulcer of the duodenum in a child].