Travaux d'achèvement de la digue de Cherbourg de 1830 à 1853 — Joseph Bonnin