Obsèques de Auguste-Nicolas Laverdet, premier pasteur de l'église catholique française à Paris, décédé le 8 décembre 1865 — Jules Derby