Effetto temporaneo e permanente di un sisma sul rivestimento di una galleria