Il y a tellement de variantes des chipsets réseaux Intel qu'en effet il est plus facile d'aller sur le site du constructeur pour trouver sa version que de chercher chez Intel. Mais en général, les constructeurs proposent les drivers Intel. Je ne vois pas où Dell est allé chercher ce driver.