Extraction du charbon. Pour l'extraction du charbon, on utilise des solvants qui peuvent libérer dans les conditions d'extraction choisies de l'hydrogène pour l'hydrogénation du charbon. La tétraline est un solvant éprouvé, qui est oxydé en naphtalène pendant l'extraction.
