détripler

DÉTRIPLER

(dé-tri-plé) v. a.
Réduire ce qui était triple. Détripler les files d'un bataillon, les composer de deux hommes au lieu de trois.

ÉTYMOLOGIE

  • Dé.... préfixe, et triple.