ladle-degassing facility