Manuel des marins, ou Dictionnaire des termes de marine. — Jacques Bourdé de Villehuet