Proceso termodinámico en el cual un gas se transforma en un sólido.