tool
Horn file
The horn file (1) is used to work hard wood, horn, ivory or lead by
friction. It is a metal straight or curved rod (15-25 / 0.5-3 / 0.5 cm)
with deep parallel notches in the width, inserted into a short wooden
handle of about 15 cm (2). The tool can be distinguished from the rasp for
wood, which has points. [MOT] (1) Proper name unknown. Because the tool is
widely used to process horn, we propose this name. (2) See a special model
that resembles an iron in ROUBO: 3 pl. 328.