Tra storia dell'industria e archeologia industriale: le fonti documentarie