Istituto nazionale delle assicurazioni. Biblioteca.