Je garde ça sous le coude (même si honnêtement je ne serais pas très chaud pour acheter un ordinateur portable à base d'ARM): Cet ordinateur portable à base de CPU ARM n'est pas cher, mais il a l'air de tenir la route. Et d'après l'auteur de l'article, il ne fait pas "cheap".
(Par contre un ordi portable sans pavé numérique, c'est un NO NO pour moi.)
https://www.pine64.org/pinebook-pro/