Nouveaux Elephantoidea, Mammalia, dans le Miocène du Kenya — Pascal Tassy