Pourquoi le pointez-vous vers le pilote propriétaire? Il y a un pilote libre pour ce chipset! Cf. http://wiki.debian.org/bcm43xx#b43andb43legacy.