Fully robotic treatment of an epiphrenic diverticulum: Report of a case