Ordonnance de l'intendant concernant le remplacement des miliciens congédiés en vertu de l'ordonnance du roi du 12 octobre 1730 — France. Intendance. Paris