Mangin, Arthur, 1824-1887