Ospedale maggiore di Milano. Biblioteca.