éléphantidé nom masculin Famille de mammifères comprenant les éléphants actuels et des formes fossiles telles que le mammouth.