Geef een synoniem voor de nerve trigeminus.