Le guide de la restauration écologique. Isolation, enduits et peintures, équipements et réseaux