coke de pétrole est utilisé pour pulvériser au laminoir