Emprunt Dom Miguel (emprunt portugais de 1832) — Étienne Vattier