Bon à savoir: la variable d'environnement DRI_PRIME permet de choisir sur quel GPU vous voulez lancer un jeu.
(Permalink)