[Surgical treatment of portal hypertension].