Petit indicateur industriel, aperçu statistique, historique et anecdotique sur les progrès de l'industrie au XIXe siècle — Éloi Marie Mathieu Miroir