Recherches sur les navigations européennes faites au moyen âge, aux côtes occidentales d'Afrique, en dehors des navigations portugaises du XVIe siècle — Gabriel Gravier