estenosis diverticular grave