L’Encyclopédie/1re édition/DÉDOUBLER
(Tome 4, p. 729).
DÉDOUBLER, v. act. il se dit des pierres dont on peut séparer les lits, selon toute leur longueur, avec des coins de fer. Il faut scier ou couper celles qu’on ne peut dédoubler ; travail fort long. Entre les différentes pierres qu’on tire des carrieres voisines de Paris, il n’y a, à ce qu’on dit, que la lambourde ou le franc-ban qui se dédouble. Les autres n’ont point de lit ou litage assez marqué pour comporter cette manœuvre.