Pontine trigeminal termination of proprioceptive afferents from the eye muscles.