Repair of a puncture with a cord