Tergĕmĭna, v. Trigemina porta.