Une grainothèque à la bibliothèque Diderot :