crocodile
nom masculin
(latin crocodilus, du grec krokodeilos)
- 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.