Petit dictionnaire des inventions, ou Epoques et détails des principales découvertes dans les arts, les sciences et les métiers (Lehuby, 1837)