Title: Dictionnaire encyclopédique et biographique de l'industrie et des arts industriels. Supplément