Pour moi, hier encore, vlc ne marchait pas. J'ai employé la "recette" suivante trouvée sur Internet, sans bien comprendre ce que je faisais : Dans xorg.conf, j'ai rajouté dans la section "Device" Option "CacheLines" "1980" Recette qui a fonctionnée sur mes 2 ordinateurs concernés.