L’archivio e la Biblioteca di Francesco G. Tricomi