Diamètre de carottage vmc+ plomberie

Bonjour a tous,

Voila je viens vers vous car je suis en train de rénover ma maison dans laquelle je compte installé une vmc, mon plafond étant une dalle béton hourdis je vais devoir faire des carottage pour poser les aérations, j'ai pris de la gaine isolé diamètre 125 et 80 avec une épaisseur de 25mm d'isolant. J'ai donc demander au vendeur a combien de diamètre je dois faire mes carottage et il m'a dis le diamètre plus l'épaisseur de l'isolant sauf qu'en lisant la notice de la vmc ils disent juste de tracer le diamètre de la bouche d'aérations donc 125 ou 80 du coup je suis perdu   si quelqu'un saurais me dire. La marque de la vmc c'est une sauter gauli.

Ensuite mon autre question se porte sur la plomberie (alimentation et évacuation), je vais poser tout en multicouche isolé pour les alimentations chauffage et eau sanitaire et refaire les évacuation en pvc ( j'ai un sous sol et le plancher et aussi une dalle béton hourdis). Ma question est de savoir si je dois protéger mes tube dans la dalle béton et si oui avec quoi ? 

Merci d'avance a ceux qui prendront le temps de me répondre.