Noun
choledocholithotomy (plural choledocholithotomies) (medicine) The removal of the gallstone from the bile duct in a case of choledocholithiasis.