J'ai des problèmes avec le son, parfois il se fige et se désynchronise avec l'image. VLC me donne une erreur, et il est dit que je devrais passer à pulseaudio 3.0. J'utilise Ubuntu 12.10 et pulseaudio est
$ pulseaudio --version
pulseaudio 2.1
Dois-je mettre à niveau? Et si oui, comment?