Ochotonidae
Ochotonidae
prop. n.
A natural family of mammals including pikas and extinct forms.