Management of choledocholithiasis in an infant