Cuando los señores de la Real Academia decidieron incluir en su Diccionario el coloquialismo presuntamente erróneo crocodilo, estaban mucho mejor informados de lo que pudiera parecer…
Cocodrilo viene del latín crocodilus. De hecho, en inglés –a pesar de tratarse de una lengua de origen no latino– cocodrilo se dice crocodile.
Y lo digo para que continuemos dándoles un voto de confianza. Me refiero a los de la Academia, no a los cocodrilos, claro…