parapluie

Définition

Abri portatif d’étoffe légère monté sur des baleines, remplacées aujourd’hui par des tiges de métal flexible, et qu’on déploie pour se préserver de la pluie. (Industrie des mines) Engin qui servait à la descente et à la remontée des mineurs. Outil destiné à crocheter les serrures, constitué d’une ébauche de clé, d’où dépassent un certain nombre de tiges coulissantes, destinées à simuler la combinaison de la clé.