Could you explain a bit more ?
What do you mean by:
"download a video file on the arduino demulvino"
Are you actually planning to send a video file from the PC to Arduino ?
Arduino has about 4KB memory, so it has to be the shortest video in the world 