Bibliothèque de l'Arsenal( ; Paris)