Devis isolation maison

Bonjour à tous, j’aurai besoin de vos avis. J’ai fais évaluer les travaux d’isolation de mon toit. Ayant des combles aménagés je ne peux bénéficier de l’isolation pour 1€ cependant je peux avoir une aide ainsi qu’un pret à taux 0 pour financer mon isolation.

Ma maison actuelle date de 1971.
L’isolation du toit date de plus de 20 ans en laine de verre. Le devis que j ai pu réaliser comporterait l’enlèvement de l’ancienne isolation, le traitement de la charpente, la mise en place de la nouvelle isolation en laine de rocher sur l’intégralité du toit à savoir avec les rampants (71 m²), plus les éspaces de combles restants (dératelement) qui serait entièrement remplis de laine de roche pour isoler le mur intérieur de l’étage.
Tout ceci est garanti 10 ans avec visite annuelle.

Il m’est proposé un devis de 7100€ environ,une fois toute les aides déduites (y compris le 30% de crédit d’impot)

Pensez vous que ce prix est correcte ou cela reste trop élevé pour les prestations??

Merci de votre aide