coke de charbon nécessaire pour faire une tonne d'acier