Manuel des marins, ou Explication des termes de marine, par M. Bourdé, — Jacques Bourdé de Villehuet