Análise de estabilidade de túneis escavados em meios rochosos : aplicação ao caso do colapso do túnel Estação Pinheiros Documento