Dictionnaire de Trévoux/6e édition, 1771/DÉTRIPLER
(3, p. 291).
DÉTRIPLER. v. a. Terme de guerre. On se sert de ce mot en parlant des évolutions militaires. Détripler les files, c’est en ôter quelqu’une, quand elles sont par trois. Voyez Matinet, Exercices militaires.