title: L’Encyclopédie/1re édition/DÉROBEMENT
text: # L’Encyclopédie/1re édition/DÉROBEMENT
  
  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)
  
  