Relations diplomatiques des Français avec le roi de Ceylan en 1672 — Henri Froidevaux