Mon installation de Stretch n'est pas "fraîche" mais le résultat d'une série d'upgrades depuis 2014 (Squeeze je crois !). Je viens d'installer le paquet "linux-image-amd64" qui a installé 4.9.0-6 ou 4.9.88-1 (?)
*** jean@pc-jean-debian:~ *** $ uname -a
Linux pc-jean-debian 4.9.0-6-amd64 #1 SMP Debian 4.9.88-1+deb9u1 (2018-05-07) x86_64 GNU/Linux
Je suppose que l'installation de 4.15 ou 4.16 est une option individuelle ou qu'elle dépend du dépôt sid (je suis en stable+contrib)... et que je changerai automatiquement de version avec le paquet "linux-image-amd64". Non ?
Si c'est correct on peut clore le sujet.