Synonymeséléphant d’Afrique