DECIMER UNE TROUPE, verb. act. (Art militaire) c’est en faire mourir la dixième partie ; pour cet effet on fait tirer les soldats dix par dix, et celui sur lequel le sort tombe est condamné à la mort. Cette exécution était en usage chez les Romains, pour punir les corps qui avaient mérité le châtiment. On s’en est aussi servi en France en plusieurs cas, entre autres pour punir la garnison de Treves, qui en 1675 avait capitulé et rendu cette place malgré le maréchal de Créqui, qui y commandait. Voyez DECIMATION et CHATIMENS MILITAIRES. (Q)