burin (N) — burineur (N)
burineur : Ouvrier qui burine, qui emploie le burin.