broyage de coke de petrole definition