Bonne nouvelle ! Depuis quelques jours, VLC 2.0.2 est sorti ! Cette mise à jour est plutôt sympa car elle a réglé (parmi d’autres choses, hein…) le problème de la « mise à jour du cache des polices » qui me gavait très sérieusement… Pour mettre à jour sous Windows ou Mac OSX, c’est hyper simple car (…)