J’ai trouvé : il me manquait le paquet firmware-linux-nonfree. Y’a pas à dire, les firmwares compliquent la vie du debianiste.
# apt install firmware-linux-nonfree
a suffi à régler le pépin. Attention : ce paquet n’est pas libre ; il faut modifier ses sources en conséquence.