Underground exploitation of a granite mine by large voids: stability aspects