Bonjour à Toutes et à Tous,
@xubu : en dehors du problème potentiel (probable) de secure boot, on voit qu'au #6 la compilation ne s'est pas bien passée. Je pense qu'il manque un certain nombre de bibliothèques :
sudo apt install libelf-dev linux-headers-generic build-essential
Ma remarque est plus à titre informatif, car à priori le driver est venu avec une mise à jour et a été installé par aptitude. Je pense qu'il faut virer le secure boot puis faire :
sudo modprobe rtl8723de