Pompes funèbres du duc d'Orléans à Notre-Dame, le 30 juillet 1842