outil
Craie de tailleur (f.)
Craie sous forme de bloc carré plat (de 5 sur 5 cm; épaisseur environ 0,8
cm) pour bien marquer les ajustements. Il se décline en différentes
couleurs (blanc, jaune, rouge et bleu), ne déteint pas sur les mains et se
tapote facilement. Parfois, la craie du tailleur est placée dans un
porte-craie, avec un bord tranchant pour aiguiser la craie (1). [MOT] (1)
Voir MIDGLEY & LAWTHER: 280.