Mi sapete un buon reader divx, per esempio divxplayer? Mi potreste dare anche il link da mettere su /etc/apt/sources.list? grazie mille Giuseppe Ciuni