The outer diameter of the gas tube shall not exceed 12 mm and the wall thickness of the gas tube shall be at least 0.8 mm.
17.7.3 Le diamètre extérieur du tube de gaz ne doit pas être supérieur à 12 mm et l'épaisseur de la paroi du tube de gaz doit être de 0,8 mm au moins.