Tic douloureux of the chorda tympani.