L’Encyclopédie/1re édition/DÉROBEMENT
(Tome 4, p. 869).
DÉROBEMENT, s. m. (coupe des Pierres.) c’est la maniere de tailler une pierre sans le secours des panneaux par le moyen des hauteurs & profondeurs qui déterminent ce qu’il en faut ôter, comme si on dépouilloit la figure de son enveloppe, ainsi que font les Sculpteurs. (D)