Dictionnaire de Trévoux/6e édition, 1771/DÉCIMATION
(3, p. 140).
DÉCIMATION. s. f. Action de décimer les soldats, pour punir le dixième d’un Corps, d’une Légion qui a failli. Decimi cujusque sorte ducti animadversio. Decimatio.
☞ Le Romains usoient de cette peine envers les soldats qui avoient abandonné leur poste, ou excité quelque émeute dans le camp, ou qui s’étoient comportés lâchement dans le combat. Le Général assembloit toutes les troupes : alors le Tribun lui amenoit les coupables, & leur reprochoit leur lâcheté & leur perfidie en présence de toute l’armée. Ensuite mettant leur nom dans une urne ou dans un casque, il en tiroit cinq, dix, ou vingt, suivant leur nombre, & le cinquième, le dixième, ou le vingtième passoit par le fil de l’épée, le reste étoit sauvé.