Histoire maritime de France au dix-huitième siècle — Henri Rivière