Chez moi VLC ne fonctionne pas, les images sont très saccadées, est-ce que cela marche chez vous?
A moins que la connexion avec mon disque dur externe soit trop lente?

 
 
Bonsoir.
 
Pas de souci pour te dessiner un mouton...  
 
Mais pour répondre à ta question, il faut fournir plus de renseignements !
 
Résolution des vidéos concernées ?  (autres que Divx sont aussi concernées par ce problème ?)
 
Le HDD externe est en réseau, je suppose ? (tu l'as testé branché directement sur la mini 4K ?)