Aller au contenu

DÉMAIGRIR ou AMAIGRIR une pierre

De Encyclopédie

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

Récupérée de "https://diderotpedia.org/index.php?title=DÉMAIGRIR_ou_AMAIGRIR_une_pierre&oldid=9055"