tegmen cruris

teg·men cru·'ris

old term for tegmentum mesencephali.