Merci de ta réponse Tonari-no-Totoro.
En effet, cette option se trouve bien dans le 'cycle de priorité au boot'.
Pour ce qui est du PCMCIA, j'ai bien une carte réseau et 2 ports USB2 sous ce format de périphérique, mais j'ignore comment configurer un boot depuis ces périphériques. Faut-il utiliser un logiciel spécifique (pour booter depuis un HDD externe, depuis le réseau) ?
Concernant le miniPCI (je pense qu'il s'agit plutot de ceci), je n'y connais strictement rien, et ma démarche actuelle auprès de Toshiba, et de son fournisseur de pièces-détachées, est d'obtenir les réferences exactes de ma carte-mère, afin de pouvoir en télécharger la documentation technique, màj BIOS, etc.
Avez-vous des liens ou une brève explication sur le fonctionnement d'un boot spécial (autre que 'HDD interne','disquette','CDRom') depuis un HDD externe, carte Ethernet, clé USB ? Si le matériel est compatible avec ces types de boot, est-ce automatiquement visible quelquepart (menu de boot automatique, information sous Windows), ou faut-il utiliser des utilitaires, configurations Windows, etc. ?