Émile Corsin, Dictionnaire des connaissances générales utiles à la gendarmerie… (1886)
“ En art militaire, on désigne sous le nom de matériel d'une armée les bagages, les munitions, les effets de campement, d'habillement, etc. — Tout militaire qui, dans un but coupable, détruit ou fait détruire en présence de l'ennemi tout ou partie d'un matériel de guerre, est puni de mort avec dégradation militaire. ”
