¿Cómo se denomina a la extirpación quirúrgica de la vesícula biliar?