tire-ligne, tire-lignes nom masculin Petit instrument de dessinateur permettant de tracer des lignes d'épaisseur variable.
Si l'on veut parler de la nation des Francs pendant le règne de Clovis, dit-on « nation… » : franque franche française