Після перенесеної травми голови у чоловіка трапляються напади інтенсивного болю в ділянці обличчя і судоми жувальних м'язів. Який нерв, найімовірніше, травмований?