À partir d'une installation Linux Mint 19.3 XFCE :

1. Télécharger l'iso de la distribution souhaitée (dans mon cas Linux Mint 19.3 Cinnamon 64bits : https://www.linuxmint.com/edition.php?id=274).
2. Ouvrir le gestionnaire de disques (il s'agit de Gnome-disk-utility, installé par défaut).
3. Sélectionner la clé USB dans la partie gauche de la fenêtre;
4. Dans le menu (menu burger en haut à droite de la fenêtre), sélectionner Restaurer une image disque….
5. Sélectionner l'image iso à installer, un message d'avertissement signale que le fichier est plus petit que la taille de la clé USB si c'est bien le cas. Sinon, il faudra utiliser une autre clé USB.
6. Cliquer sur Démarrer la restauration….
7. Une confirmation est alors demandée.
8. Dernière étape, il faut rentrer son mot de passe root.

Préalablement à l'installation, il faut désactiver SecureBoot et FastBoot sans l'UEFI. À confirmer :

1. Accéder à l'UEFI
2. Où désactiver SecureBoot et FastBoot

https://support.hp.com/fr-fr/document/c00131952

• https://doc.ubuntu-fr.org/liste_portables_hp#la_serie_elitebook
• https://wiki.gentoo.org/wiki/HP_EliteBook_840_G2
• https://thcc.name/#go?typeId=2&vendorId=11&modelId=303&revisionId=304&osId=3&osVersionId=106
• https://forums.linuxmint.com/viewtopic.php?t=292401
• https://doc.ubuntu-fr.org/uefi
• https://doc.ubuntu-fr.org/tutoriel/partitionner_manuellement_avec_installateur_ubuntu?&#partitions_indispensables
• https://linuxmint-installation-guide.readthedocs.io/fr/latest/index.html
• https://sebsauvage.net/wiki/doku.php?id=mint_customization_19
• https://lehollandaisvolant.net/linux/checklist/
• https://easylinuxtipsproject.blogspot.com/p/2.html
• https://community.linuxmint.com/tutorial/view/2324