Numerical validation of the conjecture of a subglacial lake at Amundsenisen, Svalbard - Mansutti,D.