Miniera di Gamba rotta (come qualcuno la chiamò)