Charles MAGNIN (1793-1862) conservateur, département des imprimés, bibliothèque