Comment changer de résolution sans redémarrer ?

Solution : à l'aide des options de la carte graphique.