La biblioteca di Ercolano: cronologia, formazione, diffusione