L’Encyclopédie/1re édition/DÉMAIGRIR ou AMAIGRIR
# L’Encyclopédie/1re édition/DÉMAIGRIR ou AMAIGRIR

DÉMAIGRIR ou AMAIGRIR une pierre, (Coupe des pierres.) c’est en ôter pour rendre l’angle que font deux surfaces plus aigu. (D)

