Monsieur Rioux, Linux mint cinnamon 18.3 32-bit or 64-bit should work fine for what you want. They have VLC and only require 1GB of ram although 2GB is recommended. I have used Linux Mint since version 17 on my old (2006) computer and streamed to my tv for years using HDMI without any problems at all. Windows 10 with an upgraded video card stuttered like crazy on that same computer until I finally deleted it and went back to Linux! Wish I wouldn't have wasted the money for the video card that I didn't need only to learn that Windows 10 was such a resource hog, lol.