Machinery for liquefying air or other gases