L’Encyclopédie/1re édition/DECIMER une troupe
(Tome 4, p. 679).
DECIMER une troupe, verb. act. (Art milit.) c’est en faire mourir la dixieme partie ; pour cet effet on fait tirer les soldats dix par dix, & celui sur lequel le sort tombe est condamné à la mort. Cette exécution étoit en usage chez les Romains, pour punir les corps qui avoient 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 avoit capitulé & rendu cette place malgré le maréchal de Créqui, qui y commandoit. Voyez Decimation & Chatimens militaires. (Q)