Tire-point

Nom commun

tire-point masculin ou tire-pointe masculin
  1. Instrument pointu dont on se sert pour piquer, pour faire des trous.
    Des tire-points.