Les machairodontinés ou simplement machairodontes forment une sous-famille éteinte et fossile de très grands félins apparus vers le début du Miocène, il y a environ 16 millions d'années et qui ont totalement disparu au début de l'Holocène, il y a environ 11 000 ans,. Wikipedia