[Surgical correction of double aortic arch in infants]