Elephantus nomen apud antiquos usitatius esse videtur, et quia hic non de genere agitur, sed de nomine communi, propono ut pagina ad Elephantus moveatur. Lesgles (disputatio) 19:57, 15 Septembris 2018 (UTC)[reply]