Bonjour,
Merci pour vos réponses ! 
Comme suggéré, j’ai selectionné une autre version de noyau (4.9.0-4-amd64) dans grub et j’ai pu booter dans mon système.
J’ai ensuite :
echo “crc32c” >> /etc/initramfs-tools/modules
update-initramfs -u -k 4.9.0-6-amd64
Rebooté et ça a résolu le problème 
Je me questionne quand même sur la manière dont le problème est survenu. Est-il possible que ce soit lié à la mise à jour de mes sources.list ?
# stretch (stable)
deb http://deb.debian.org/debian stretch main contrib non-free
deb-src http://deb.debian.org/debian stretch main contrib non-free
deb http://security.debian.org/debian-security stretch/updates main contrib non-free
deb-src http://security.debian.org/debian-security stretch/updates main contrib non-free
# stretch-backports
deb http://ftp.debian.org/debian stretch-backports main contrib non-free
# buster (testing)
deb http://deb.debian.org/debian buster main contrib non-free
deb-src http://deb.debian.org/debian buster main contrib non-free
deb http://deb.debian.org/debian buster-updates main contrib non-free
deb-src http://deb.debian.org/debian buster-updates main contrib non-free
deb http://security.debian.org/ buster/updates main contrib non-free
deb-src http://security.debian.org/ buster/updates main contrib non-free
En installant un autre système, j’ai remarqué la présence des lignes suivantes :
deb http://security.debian.org/debian-security stretch/updates main contrib non-free
deb-src http://security.debian.org/debian-security stretch/updates main contrib non-free
Ces lignes étaient absentes de mon fichier source donc je les ai ajoutées. J’ai ensuite lancé mon apt-get update && apt-get upgrade quotidien.
Il me semble que c’est lors de cette opération qu’une nouvelle version du kernel a été installée.
Le fichier source présenté plus haut est-il correct ? (les sections “backports” et “testing” sont présentes car j’ai besoin de versions spécifiques à jour de quelques rares paquets)
Encore merci pour votre aide !