Procédés de fabrication dans les forges, appliques particuliérement au service de guerre, extrai