Cartes françaises de la baie de Trinquemalé (Ceylan) dressées au XVIIe siècle — Henri Dehérain