La riparazione di un tubo danneggiato