Miniera e metallurgia nella montagna lombarda fra '700 e '800: fonti e problemi di fonti