Gras

adj.

I. Se dit d'une pièce de bois qui est un peu plus forte qu'elle ne devrait être dans son ensemble ou dans une de ses parties, telle que l'arasement d'un assemblage qui a du bois en trop près du tenon ou sur le champ de la joue de la mortaise ; on dit alors qu'il faut dégraisser ces parties ou les amaigrir en enlevant un peu de bois. (Voy. amaigrir et dégraisser.)

II. Constr. On dit d'un mortier qu'il est gras, lorsqu'il est fait avec beaucoup de chaux.