Le dev dont tu parles est du dev web, donc pas de compilation à effectuer. A part s'il fait tourner des pages avec beaucoup de javascript, pas besoin d'un processeur aussi performant.
Je serais toi, je me tournerais plus vers un ordinateur qui a une carte wifi AC 802.11 (De la wifi 5Ghz qui va jusqu'à 300Mbp/s).
Il aura une rapidité plus sympa au niveau de sa connexion (les cartes réseau Wifi b/g/n fonctionnent sur des réseaux wifi 2.4GHz qui vont jusqu'à 150MBp/s).
En revanche, je me demande si ta carte graphique tiendra le coup s'il mets des vidéos full hd sur ses sites...
Le choix d'un écran 17 pouces est très bien, c'est très utile quand on développe
Si tu cherches a vraiment lui prendre ce qu'il y a de mieux, essaye de trouver un clavier rétro-éclairé (avec les touches qui s'allument), mais attention à ce qu'il ne se mette pas à développer au milieu de la nuit