J’ai trouvé : il me manquait le paquet firmware-atheros. Le lien cité dans le premier post m’a induit en erreur.
# apt install firmware-atheros
a suffi à régler le pépin. Attention : ce paquet n’est pas libre ; il faut modifier ses sources en conséquence.