Initial version of Dans_l_antre_du_roi_de_la_montagne
Initial version of no1Halling