Dictionnaire portatif des arts et métiers, vol 1