les résidus solides de la distillation, désignés sous le terme de « coke de pétrole », et qui servent de combustibles dans des procédés industriels… dont le raffinage du pétrole ! (ce raffinage est donc fait avec le résidu solide issu du raffinage du pétrole qui est passé juste avant).
