Mais que faisait donc le bibliothécaire Charles Nodier à l'Arsenal ?