[Vagotomy in the surgical treatment of duodenal ulcer]