Dictionnaire Portatif des Arts & Metiers Tom.