Marine, dictionnaire allemand-français, français-allemand — Jean Aubertin