procédé de transformation du charbon en liquide