Je découvre naïvement à la lecture de votre échange que vous utilisez des kernels 4.15 et 4.16 alors que j'utilise un kernel 3.16. Je suis en Debian 9.4 et pensais que les mises à jour incluait celles du kernel ce qui ne semble pas le cas. Faut-il mettre à jour le kernel indépendamment de Stretch ?*** jean@pc-jean-debian:~ *** $ cat /etc/debian_version9.4*** jean@pc-jean-debian:~ *** $ uname -aLinux pc-jean-debian 3.16-3-amd64 #1 SMP Debian 3.16.5-1 (2014-10-10) x86_64 GNU/Linux