L’Encyclopédie/1re édition/DEBRIDER
(Tome 4, p. 658).
* DEBRIDER, terme de Carrier, c’est détacher le cable de dessus la pierre, lorsqu’elle est arrivée au haut de la carriere. Il se dit aussi de l’action de disposer mieux ce cable sur la pierre au fond de la carriere, lorsqu’on s’apperçoit dans les premiers mouvemens de la roue qui doit l’enlever, ou que le cable se dérange ou qu’il a été mal disposé. La paresse de debrider a quelquefois coûté cher aux ouvriers ; ils ont perdu la vie pour avoir voulu ménager un quart-d’heure de tems.
Debrider, v. act. (Manege.) c’est ôter la bride. Voyez Bride.