Definición del diccionario: divertículo