Une HD4000 est une HD4000, toutefois j'ai entendu parler d'une différence de fréquence avec certaines versions. 8 go de RAM c'est juste énorme pour ce portable, ça ne sera jamais exploité, même avec Windows.
Je te conseillerai un portable avec une carte Nvidia dédiée