see Idiopathic trigeminal neuralgia