Ordonnance du roi, portant création d'un régiment d'infanterie, sous la dénomination de régiment de Pondichéry, pour la garde des possessions de sa majesté dans l'Inde — France