tube protecteur
[DE] Futterrohr
[EN] protective tube
[FR] tube protecteur
busette de poche,tube de protection du jet,tube protecteur /INDUSTRY-METAL/
[DE] Gießrohr; Tauchrohr
[EN] casting tube; pouring tube
[FR] busette de poche; tube de protection du jet; tube protecteur