DÉDOUBLER. v. tr.
Ramener à l'unité ce qui était double. En termes d'Art militaire, Dédoubler les rangs, les files, Faire mettre sur un rang, sur une file des soldats qui étaient sur deux rangs, sur deux files. Il signifie aussi Faire deux touts d'un seul. Dédoubler un régiment. Dédoubler une classe, dans un lycée. En termes de Chemins de fer, Dédoubler un train, Faire partir, presque à la même heure, à cause de l'affluence des voyageurs, deux trains au lieu d'un pour la même destination. En termes d'Arts, Dédoubler une pierre, La séparer, la partager en deux dans toute sa longueur. Il signifie par analogie Dégarnir de sa doublure. Dédoubler un habit, un manteau.