oui, il y a une solution !
tu va sur le site DELL, grand public, et tu va sur l'onglet support, puis tu tappe le numéro de serie (TAG NUMBER) qui se trouve sur l'étiquette qui se trouve sous le capot gris de la facade.
puis tu selectionne la rubrique "driver et telechargement", et tu as toute la liste des driver disponible pour ta config !
PS: pour flasher le bios, y a rien de plus facile, tu download le fichier executable, tu le lance et il se débrouille tous seul, puis il redémarre comme un grand, et ça dur 2 minutes grand maximum...
voila...