Histoire generale de la marine; comprenant les naufrages celebres, les voyages autour du monde, les decouvertes et colonisations, l'histoire des pirates, corsaires et negriers, exploits des marins illustres, voyages dans les mers glaciales, guerres et bat