Bonjour Chouchou, Les laines de roche en vrac certifiées Acermi ont un lambda variant de 0.047 à 0.044 W/m.K pour la plus performante. La résistance thermique des 23 cm de laine posée au plancher des combles est donc de 4,90 m2.K/W ou au mieux de 5,20 m2.K/W. Cette isolation est environ sur les bases de la RT2005. Vous avez donc tout à fait raison de faire compléter cette isolation pour gagner en confort, été comme hiver et en économie d'énergie. A titre informatif, avec la nouvelle réglementation environnementale RE2020, c'est actuellement une résistance thermique R= 10m2.K/W qui est préconisée pour l'isolation des combles. En vous proposant 33 cm de laine Isolène 4, l'entreprise vous propose l'ajout une résistance thermique R= 7 m2.K/W à celle de l'isolation existante, R= 7 étant résistance thermique minimale à mettre en oeuvre si vous souhaitez solliciter les aides à la rénovation énergétique proposées par l'Etat (Certificats d'Economie d'Energie - CEE ou MaPrimeRénov', par exemple).  Toutefois, pour ce faire, l'entreprise doit au préalable avoir fait une visite de chantier avant de vous proposer le devis pour s'assurer de la faisabilité : isolant existant toujours homogène et ne présentant pas de dégâts liés au piétinement ou stockage d'objets divers ou liés à l'humidité (absence de fuite dans la couverture) ou encore à la présence de petits animaux. Elle doit également s'assurer que : le plancher a une portance suffisante pour supporter le poids supplémentaire de cette isolation. l'épaisseur d'isolant ajoutée ne viendra pas obstruer les orifices de ventilation possiblement positionnés en pied de rampants. La pose de déflecteurs peut être nécessaire pour éviter cette obstruction (la mise en oeuvre de ces déflecteurs est mentionnée comme nécessaire pour la rénovation dans le DTU 45.11 dit DTU Soufflage). J'espère que ces éléments répondent à votre interrogation et vous conforte dans le fait de faire compléter votre isolation.  Bons travaux !