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

Goussier

L’Encyclopédie, 1^re éd.

1751 (Tome 4, p. 803).

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