Les Gloires maritimes de la France: notices biographiques sur les plus célèbres marins, découvreurs, astronomes, etc