Résultats plein texte:
- erreur_demarrage_debian_uefi
- le microfirmware UEFI**. Plusieurs versions sont disponibles, attention au ''Machine Type and Model'' affiché... BIOS). Dans ce cas (0569) la dernière mise à jour disponible est A0KT61A (31/03/2017). <note> Le flash a fonc