Tuyau à double enveloppe