Merci @loicmtp, l’installation des pilotes NVIDIA a été effectuée en utilisant la méthode par paquet issus des dépôts debian de manière parfaitement identique avec celle intitulée « How to install NVIDIA driver using Debian repository step by step instructions » du second tutoriel que tu me proposes.
J’ai déjà un peu détaillé cette installation dans un message destiné à un utilisateur qui avait également des problèmes avec le même modèle d’ordinateur ici : Installation Debian sur portable Dell Precision 5570 - #6 par jsubei34
Je précise que le noyau s’est déjà mis à jour sans problème depuis que cet ordinateur est configuré pour utiliser systématiquement les paquets issus de backports (au mois d’aout par ex: Debian Package Tracker)