Magnin, Charles, active 1838-1873, librarian at Bibliothèque Royale