crocodile nom masculin : 1. Nom donné à tous les reptiles actuels de l'ordre des crocodiliens.
2. Crocodilien au museau triangulaire (en vision de dessus), ayant une dent inférieure visible même lorsque la bouche est fermée, et muni d'une queue puissante, fortement comprimée et crêtée.
3. Cuir obtenu par tannage de la peau de crocodile. (Abréviation familière croco.)
4. Scie égoïne utilisée pour la pierre tendre.
5. Pièce métallique longiligne, placée entre les rails au niveau d'un signal et destinée à la répétition de ce signal par établissement d'un circuit électrique avec une brosse placée sous la locomotive.
