Diamètre de perçage pour gaines isolées de 80 mm

Bonjour à tous, Pourriez-vous m'indiquer quel diamètre convient pour le passage de gaine isolée de 80 mm. Ma gaine fait 80 + 25 mm d'isolant, dois-je percer à 100 mm ? Puis-je percer à 125 mm tout en garantissant l'isolation ? C'est pour le perçage d'une gaine dans un plancher OSB de mezzanine. La bouche d'extraction sera par la suiute connectée à la gaine par un trou de 80 mm dans du placo. Par avance merci de vos conseils ! Bien cordialement,