Petit dictionnaire historique des origines, inventions et découvertes, ou Epoques et détails des principales découvertes dans les arts, les sciences, les métiers, etc. : avec les dates ... etc. (Casterman,)