Pour le choix du driver, j'ai bien trouvé cette documentation
https://doc.ubuntu-fr.org/gestionnaire_de_pilotes_proprietaires.
Mais, l'instruction pour désactiver le driver n'est pas indiquée.
Je comprends qu'il faut utiliser ubuntu-drivers --gpgpu mais je ne sais pas quel driver je dois déclarer pour revenir au driver de base.
Merci
Thierry