Tu as bien compris le principe, c'est un cul de sac avec un trou.
Pour creuser la roche, il vous faudra entre 2 et 3 jours pour des novices comme vous.
Peut être qu'un professionnel (maitrise de la maçonnerie ou des mines) vous dirait un peu moins ou un peu plus.
Tu ne sais pas s'il faudrait faire des étaies par exemple.
Agrandir juste le cul de sac prendrait moins de temps.
