Bibliothèque de l'Arsenal (Paris) ; Paris) -- Archives de la Bastille