Processing of video elementary streams, e.g. splicing of video streams, manipulating MPEG-4 scene graphs {involving management of server-side video buffer}