Túnel excavado en la roca.