Isolation terrasse sur sous-sol nécessaire ?

Bonjour à tous !

Dans mon projet de construction neuve en cours j'ai une terrasse couverte, au dessus d'une petite partie du sous-sol (environ 13m2).

Elle est pour le moment en dalle brute : la dalle est constituées de prédalles précontraintes, comme le reste de notre rez-de-chaussée.

Nous sommes aujourd'hui en train de faire des devis pour trouver des solutions pour finaliser la terrasse, notamment pour l'étanchéité.

Nous avons deux artisans différents qui nous ont parlé d'isolation. Un en passant, mais le 2e avait l'air de dire que c'était absolument nécessaire. Voici son explication :
- comme notre terrasse est sur le sous-sol, même si ce n'est pas un local chauffé, il y aura un écart de température potentiellement important entre l'intérieur et l'extérieur, 
- si notre terrasse avait été faite en poutrelle/hourdis la matière des hourdis aurait suffit à faire l'isolation, mais comme c'est juste du béton là ça ne suffit pas
- si on ne le fait pas, on aura beaucoup de condensation au sous-sol (juste en hiver j'imagine, il ne l'a pas précisé) 

=> il doit donc étudier la possibilité de mettre du TMS sur la terrasse (il veut faire : TMS - chappe - étanchéité) ....

Qu'en pensez vous ? 
Sachant que ce n'est pas un lieu habitable, c'est "juste" là où on prévoit de mettre l'établi... 
Je ne trouve pas trop d'infos sur le sujet, à part justement sur des pièces qui seraient habitables. 
Ça me semble peut être excessif...

Merci d'avance de vitre avis !