[Laparoscopic resection of a bladder diverticulum].