Definición del diccionario: proctocolectomía