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,