Isolation toiture cuisine

Bonjour,

j' ai une extension de cuisine de 20m2, plein nord, la toiture est en pente avec ardoise, pare-pluie, elle a deux velux. C'est l' isolation intérieure qui pose problème, un copain m' a installé du polystyrène de 4 cm pour chape !! juste en dessous de la volige et entre les chevrons, puis laine de roche de 20cm (lame d' air entre volige et polystyrène et aussi entre polystyrène et laine de roche). J' ai un doute, un gros doute sur le polystyrène pour chape, je suis plein nord donc j' aimerais que se soit bien isolé. Je vais isolé les murs par l'extérieure avec panneau de styrodur puis parement en pierre de moëllons et joint chaux. Je lui ai parlé de mes doutes mais il me dit que ça se fait, donc je viens vers vous pour me confirmer la chose ou le contraire car je n'ai pas envie de refaire dans 5 ans, il ne va pas y avoir condensation ??? et puis 20 cm de laine de roche cela me paraît un peu juste.... j' attend vos conseils avec impatience. Merci