International audienceThe presence of a magma ocean may have characterized the beginning of terrestrial planets and, depending on how the solidification has proceeded, the solid mantle may have been in contact with a magma ocean at its upper boundary, its lower boundary, or both, for some period of time. At the interface where the solid is in contact with the liquid the matter can flow through by changing phase, and this affects convection in the solid during magma ocean crystallization. Linear and weakly non linear analysis have shown that Rayleigh-Bénard flow subjects to two liquid-solid phase change boundary conditions is characterized by a non-deforming translation or weakly deforming long wavelength mode at relatively low Rayleigh numb...