Text this: Les sources de l'histoire maritime en Europe, du Moyen Age au XVIIIe siècle;