тушить дугу

см. тж. гасить дугу

• At the end of the run the "stop" push button is pressed which extinguishes (or puts out, or quenches) the arc.