Perso j'ai un Asus 9". Aucun souci jusqu'à présent. Perso le SSD était important, et c'est vraiment rapide. Mais pour toi ça changera pas grand chose.
Un collègue code sur le même que ton premier lien ( le 10"). Ca passe bien, le clavier est presque aussi grand que sur un portable plus grand. A moins de 300€ ça vaut le coup je pense. Mais si tu vas passer un temps conséquent dessus, le modèle 12" est sans doute mieux.
Et comme d'hab, passe un coup à la Fnac voir les modèles en vrai. Les photos ne rendent pas l'apparence de l'écran, les reflets, la frappe au clavier etc.

Sinon y'a les Vaio W qu'ont l'air bien, mais je connais personne qui en a acheté.