Describir: Instrumentación geotécnica del revestimiento de concreto lanzado de un túnel excavado en rocas blandas