[Intraoperative endoscopic sphincterotomy for common bile duct stones during laparoscopic cholecystectomy].