Un ordinateur portable en RISC-V avant 2023... mais à quel prix ?!