S. f. terme d'Imprimerie, il se dit particulièrement lorsqu'on ôte avec une pointe quelques lettres d'une forme déjà imprimée, pour en remettre d'autres à la place, qui aient été lessivées, afin de les imprimer en rubrique, et que l'encre noire ne gâte point la rouge. En général straction, qu'il faudrait dire extraction, signifie tirer un caractère ou un quadrat, pour les remplacer par d'autres. (D.J.)