Bonjour,
De mon point de vue si tu veux agrandir le diamètre, moi j'achèterai directement une pipe de 15 ça te coutera bien moins cher que les outils nécessaires pour le faire. En plus je ne suis pas certain que le résultat obtenu soit au rendez-vous si tu voulais le faire par toi même.