Oui, il faut ajouter le PPA comme ça. Ensuite, tu fais les mises à jour disponibles et une fois que c'est fini, tu rebootes :
sudo add-apt-repository ppa:paulo-miguel-dias/pkppa
sudo apt-get update && sudo apt-get dist-upgrade
Mais c'est étonnant que le jeu tourne mal : le pilote qui est dans les dépôts Ubuntu date un peu mais pas tant que ça. Qu'est-ce que tu as comme carte graphique ?
