Détecter et réparer une fuite sur une installation de chauffage