Petit dictionnaire de marine, ouvrage illustré... d'après les dessins de L. Haffner — Robert Gruss