METODI CLASSICI E NUOVE TECNICHE PER IL PROGETTO DEL RIVESTIMENTO DELLE GALLERIE