Mais peu importait, du moment que la paroi inférieure s’amincissait d’autant.

这无关要紧，只要下面冰壁随着上面冰壁变厚同样厚度就行。