Un peu lent, mais je plussoie...et je devrais recevoir aujourd'hui le remplaçant: exactement le même modèle (dell XPS 13), je rejoins un peu les autres dans une utilisation "qui peut le plus peut le moins":nomade et/ou docking "maison" (= un écran et un gros hub USB et le bon WD passport USB3 qui va bien)
Forcément, pour la Linux du dual boot, je me contenterai d'une distro *.deb-oriented et non pas de ma Gentoo adorée comme au boulot (SSD/Xeon-8cores/16Go)

Bien entendu..