Dictionnaire de Trévoux/6e édition, 1771/DÉCIMER
(3, p. 141).
DÉCIMER. v. a. Terme de l’ancienne Milice des Romains, qui, pour punir les Légions entières qui avoient manqué à leur devoir, faisoient tirer au sort chaque dixième soldat, & le faisoient mourir, pour donner l’exemple aux autres. Decimare, decimum quemque sorte ductum plectere, supplicio afficere. On l’a quelquefois fait en France.
Décimé, ée. part. pass. & adj. Decimus quisque sorte ductus.