Los teriodontes o teriodontos (Theriodontia, lit.