Если верить Ж.Рони-младшему, древние люди называли их махайродами. А какое название дали им палеонтологи?