Histoire générale de la Marine : comprenant les naufrages célèbres, les découvertes et colonisations, l'histoire des pirates, corsaires et négriers, exploits des marins illustres, guerres et batailles navales jusqu'au bombardement de Tanger et la prise de Mogador par le prince de Joinville