[Stump appendicitis after previous appendicectomy].