Les cartographes français et la dénomination de la"Mer du Japon" (Mer de l'Est) aux XVIIe et XVIIIe siècles — Philippe Pelletier