Le mot vient du latin crocodilus, lui-même issu du grec ancien κροκόδειλος / krokódeilos, qui, selon Hérodote serait initialement le nom donné par les Ioniens aux lézards épineux des murailles et par…