The biography of Eugène-Emmanuel Amaury-Duval (1808 - 1885)