"Dalla leggenda al monumento": appunti sulla storia della biblioteca di Luigi Einaudi