Isle de France, île Maurice, 1715-1978 — Musée national de la marine. Paris