What is it called when a gas turns into a solid?

Deposition: the process by which a gas turns into a solid.