Vibrazioni indotte dallo scavo delle gallerie: sorgenti, misure, previsioni, rimedi, norme