Sulla costruzione delle gallerie in roccia, con particolare riguardo al sostegno della volta ed al rivestimento