[Gamma knife surgery for essential trigeminal neuralgia].