Dictionnaire de Trévoux/6e édition, 1771/DÉDOUBLER
DÉDOUBLER, v. a. Oter la doublure d’un habit, d’un meuble, d’une tapisserie. Assutum interius vesti pannum eximere. Il a fait dédoubler son manteau à cause de la chaleur.
Dédoubler, Rendre simple & unique ce qui étoit double. On dit, en termes de guerre, dédoubler les rangs, comme on dit, les doubler. Ordines simplices efficere. Lorsqu’il faut doubler ou dédoubler les rangs pour marcher par plus ou moins de files, il faut faire comprendre aux soldats que l’on double toujours sur la gauche des premiers rangs par la droite des derniers, de même que l’on dédouble toujours par la gauche qui devient pour lors la droite du rang qui va se former ; qu’ils doivent s’accoutumer à se compter d’eux-mêmes, pour savoir ceux qui doivent doubler ou dédoubler, & se remettre insensiblement à leur chef de files en marchant. On ne sauroit trop accoutumer les soldats à doubler & dédoubler, rompre & former leurs rangs. Bombelles.
Dédoubler une pierre. Terme de Carrier. C’est la séparer en deux, dans toute sa longueur, avec des coins de fer en prenant son fil, ou litage. Il faut scier ou couper celles qu’on ne peut pas dédoubler : travail plus long & plus pénible.
Dédoublé, ée, part.