Merci pour l'astuce !
J'ai remédié au problème. Je décris les étapes pour ceux que ça intéresseraient :
- Accéder à l'Internet du monde sans connexion ethernet :
- branchement en USB d'un téléphone portable;
- sur le téléphone, activation du mode partage de connexion via USB;
NB : on doit pouvoir le faire également via Bluetooth si pas de cable USB.
- Installer le pilote Wi-Fi pour mon Asus :
Script à exécuter :
#!/bin/bash
################################################################################
#
# Script d'installation du pilote Wi-Fi pour PC portable USUS vivobook X512FA
# sous ubuntu 19.10.
#
# NB : exécuter avec sudo.
#
################################################################################
# Ajout des sources PPA pour le pilote...
add-apt-repository ppa:canonical-hwe-team/backport-iwlwifi
# Installation du paquet contenant le pilote...
apt-get update && apt install backport-iwlwifi-dkms
# Redémarrage pour prise en compte du pilote...
reboot
