In the extraction of copper from its sulphide ore, the metal is finally obtained by the reduction of cuprous oxide with: