13.9 Paratrigeminal oculosympathetic (Raeder’s) syndrome