Le dioxyde de carbone, qui se présente aujourd'hui sous la forme d'un fluide supercritique dense près de la surface, se liquéfierait d'abord pour finalement se solidifier en glace carbonique.