10. choledocholithotomie