Biblioteca de l'Arsenal