Salut,
Je connais bien ces modèles de PC portables :
C'est du HP entreprise et c'est de la bonne camelote.
Autant HP "grand public" c'est de la merde en barre, autant les pc HP pour entreprise tiennent la route.
Ils ont un mode de boot rapide si tu tapes sur F9 au démarrage : tu verra que tu peux booter tes médias amovibles en mode Legacy (donc emulation du BIOS) ou en UEFI.
Cette coque en métal brossé
Plus sérieusement, si t'en as un avec un GPU AMD dédié (comme celui que j'ai au boulot en ce moment, un 8470w) tu vas galérer comme c'est pas permit, faute de drivers potables sous GNU/Linux.
Par contre, si c'est du "Full Intel" avec un CPU Intel + une carte graphique Intel HD 3000 / 4000 c'est beaucoup mieux car Intel joue le jeu et publie des pilotes
J'ai pas de distrib' GNU/Linux qui tourne sur de l'UEFI chez moi mais d'après ce que j'en ai vu, il faut avoir une partition /boot en FAT32 pour pouvoir booter ton GNU/Linux.
Vois ça avec les membres du forum qui ont déjà bourlingué avec l'UEFI.
Bienvenue 