tire-ligne, tire-lignes nom masculin Petit instrument de dessinateur permettant de tracer des lignes d'épaisseur variable.