Des Bois propres au service des arsenaux, de la marine et de la guerre, — Pierre-Étienne Herbin de Halle