Isolation de combles/étage dans une maison de 1987

Bonjour, je souhaite faire quelques travaux pour améliorer l‘isolation de l’étage de ma maison.
Le pb n’est pas tant le froid que le chaud en été.
La maison date de 1987, la toiture est en ardoises naturelles, les rampants pour la partie habitable (en rouge sur le plan) sont isolés avec des panneaux de  laine de verre 200 mm.
Le grenier est isolé au niveau du plancher (en bleu sur le plan) avec des  rouleaux de laine de verre, 2 couches de 100 mm placés entre les solives. Les rampants dans le grenier ne sont pas isolés.
L’idée est donc d’améliorer l’étanchéité de l’étage surtout au chaud car en période forte chaleur l'été c'est assez invivable.
Un entreprise me propose :
1) d’injecter par soufflage de la laine de bois R7 (35 cm de haut ?)sur le sol des combles, les combles seront en partie perdues sauf sur 20 m² ou les solives seront rehaussées pour accueillir un plancher osb.
2) de remplacer l’isolation des rampants par l’extérieur (dépose et repose des ardoises existantes) avec des panneaux de laine de bois épaisseur ??
Le point numéro 1 peut se concevoir même si je trouve la facture un peu salée pour 47 m² (7400 €).
Le point numéro 2 est extrêmement onéreux (11600 euros) et je doute de son efficacité.
Dans mon esprit, je voyais plutôt une solution qui consisterait à isoler les rampants et les pignons du grenier par l’intérieur afin d’éviter que la chaleur s’accumule dans ce grenier et se propage à l’étage. Le changement d’isolant du plancher peut en complément être une option.
Qu'en pensez-vous ?
Merci d’avance