ou AMAIGRIR UNE PIERRE, (Coupe des pierres) c'est en ôter pour rendre l'angle que font deux surfaces plus aigu. (D)