Le rôle des navigateurs français dans la découverte des terres nouvelles et dans le progrès des connaissances sur le monde, aux XVIIe, XVIIIe et XIXe