Vocabulaire des arts et métiers / par F. G. Hauchecorne. Berlin : Platen, 1805