décimer

Du latin decimo, lui-même dérivé de decem (« dix »). Les Romains pratiquaient la décimation lors des défaites de leurs propres armées.

Mettre à mort, ou frapper de quelque autre peine, une personne sur dix, selon que le sort en décide. Il s'est dit principalement, dans l'antiquité, en parlant de soldats qui avaient mérité d'être punis, ou de vaincus.

Modifier des échantillons pour n'en garder que l'essentiel.  Référence nécessaire