Bibliothèque de l’Hôtel de Ville de Paris [Institution]