Sur les noms de Pondichéry et Karikal — Julien Vinson