Sachant que la chaleur produite par la solidification de l'unité de masse de glace est égale à L_g (chaleur latente), justifier que :

\varphi=\rho_g\frac {dl}{dt}L_g

où \varphi est le flux thermique au sein de la glace, à travers l'unité d'aire, dans la direction \overrightarrowz.

On utilisera cette relation dans la suite, même si elle n'a pas été démontrée.

Déterminer la température T au sein de la glace en fonction de \varphi, \lambda_g, T_C, l et z.

Ecrire la condition aux limites en z=0.