Ces manchons de la marque Debflex sont des éléments plastiques permettant de rallonger un tube IRL.

Il suffit pour cela de placer un second tube dans le manchon situé à l'extrémité du premier tube pour multiplier par deux la longueur du tube.