Processing of video elementary streams, e.g. splicing of video streams or manipulating encoded video stream scene graphs