quel est le coke de pétrole utilisé pour