Bon, Bruno, laisse-moi te dire que tu m'emmerdes à avoir raison !
Je suis passé à ftp.debian.org, puis au premier "sudo apt update", il m'a trouvé que base-files n'était pas à jour (et c'était le seul package qui n'y était pas).
Une chose que j'ai constaté à cette occasion, c'est que apt a rechargé toutes les "lignes" des dépôts, ce qu'il ne fait pas à chaque fois. Je suppose qu'au début de l'update il doit échanger avec le serveur un md5 (ou une date ou un numéro de série) de chaque "ligne", le comparer avec une version en local et ne downloader que les "lignes" qui ont changé. Et comme la "ligne" contenant base-files devait s'être retrouvée avec le même md5 (ou équivalent) que celle que j'avais en local, apt ne devait jamais la recharger et la situation était figée.
Et je pense qu'à la prochaine modification à venir de la "ligne" contenant base-files sur le serveur, cela se serait mis à jour tout seul sans que je m'en aperçoive.
Et d'abord, pourquoi je suis allé voir le contenu de ce foutu fichier, moi !
Merci encore pour ton aide. Et merci aussi à Dezix.
Amicalement.
Jean-Marie