Removal of stones from the bile duct at ERCP without sphincterotomy