skip

---

étymologie

(XIX^e siècle) De l’anglais skip.

---

nom

Singulier	Pluriel
skip	skips

skip \skip\ masculin

1. (Mines) Grande benne glissant sur un châssis pour transporter le minerai dans les puits inclinés ou verticaux
   • Le Puits De Vernejoul, déjà utilisé comme retour d'air, devient ainsi un puits d'extraction équipé d'un skip de 28 tonnes.
2. (Anglicisme) Enjambement, omission.
   • Ces fonctions Scheme prennent en argument un fragment de musique, et génèrent un skip ou un silence multi-mesures d'une durée correspondant à ce fragment.

---

traductions

• anglais : skip

---

Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.003