Trattamento chirurgico della siringomielia.