Le esplorazioni speleologiche della miniera di San Giovanni: prime sisntesi