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 pirates, corsaires et négriers, exploits des marins illustres, voyages dans les mers glaciales, guerres et bat