Histoire générale de la marine; comprenant les naufrages célèbres, les voyages autour du monde, les découvertes et colonisations, l'histoire des ... dans les mers glaciales, guerres et bat