Estenose diverticular do cólon - o que é? Como é o tratamento?