À 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 : https://www.linuxmint.com/download.php).
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.

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