Tu cherches quelle option en particulier ?
Vu la gueule de l'interface du BIOS et la présence de l'option "Launch EFI Shell from filesystem device" on est bien face à un BIOS UEFI !
Par contre en effet il ne semble pas déborder d'options.
Mais d'après ce que je lit dans le manuel, si tu connectes un disque doté d'une partition de boot EFI, il sera proposé dans la liste des périphériques bootables.
---------------
| < Ceci n'est pas une pipe.