Nombre común de un grupo extinto de mamíferos parecidos a los elefantes.