nucleus sensorius principalis nervi trigemini