Merci, mais dans l'intervalle, j'ai trouvé ce
lien.
Cela confirme mon problème: la petite clé n'a pas le même chip et donc il y a nécessité de compiler le pilote.
Il se trouve que sur ce PC, je n'ai pas trop envie de charger tout ce qu'il faut pour cette compilation
et que donc je vais laisser les choses en l'état.