Dictionnaire encyclopédique et biographique de l'industrie et des arts industriels - Lami, Eugène-Oscar ed lit. (Librairie des dictionnaires, 1881)