L’Encyclopédie/1re édition/STRACTION
(Tome 15, p. 538).
STRACTION, s. f. terme d’Imprimerie, il se dit particulierement 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, & que l’encre noire ne gâte point la rouge. En général straction, qu’il faudroit dire extraction, signifie tirer un caractere ou un quadrat, pour les remplacer par d’autres. (D. J.)