milder kind of military punishment, in cases of desertion, mutiny, and the like, when only every hundredth man is executed.