Ordonnance du roi, pour donner une nouvelle forme au régiment de Pondichéry, créé le 30 décembre 1772, pour la garde des possessions de sa majesté dans l'Inde — France