Anatomy

All of the following structures are associated with branches of the trigeminal nerve EXCEPT the: