| ENGROIS n. m. XVIIIe siècle. Dérivé régressif de l'ancien français engroissier, « rendre gros », dérivé de groisse, « grosseur ». Petit coin qu'on enfonce dans l'œil d'un marteau ou d'un pic pour l'affermir sur son manche. |
| ENGROIS n. m. XVIIIe siècle. Dérivé régressif de l'ancien français engroissier, « rendre gros », dérivé de groisse, « grosseur ». Petit coin qu'on enfonce dans l'œil d'un marteau ou d'un pic pour l'affermir sur son manche. |