Dictionnaire technique de la marine — Gregory W. Hartline, Richard Dobenik