L'Arsenal de la marine et les chefs maritimes à Dunkerque (1662-1899) — Émile Mancel