WIP - add info about creating a bootable usb drive

content/formations/installer_linux.md

@@ -28,7 +28,8 @@ Nous, chez Deuxfleurs, on utilise la distribution NixOS (parce qu'elle garantit
 
 ### NixOS
 
-> TODO
+L'image ISO de NixOS peut être récupérée [depuis le site officiel](https://nixos.org/download.html#nixos-iso).  
+La version sans _environnement de bureau_ (Desktop Environment) est conseillée pour une utilisation sur un serveur.
 
 ### Debian
 
@@ -36,7 +37,26 @@ Nous, chez Deuxfleurs, on utilise la distribution NixOS (parce qu'elle garantit
 
 ## Installation de l'ISO sur le support de stockage
 
-> TODO
+n.b.: ce qui suit est inspiré des documentations de [NixOS](https://nixos.org/manual/nixos/stable/index.html#sec-booting-from-usb) et [Arch linux](https://wiki.archlinux.org/title/USB_flash_installation_medium), qui sont plus exhaustives.  
+Si vous souhaitez en apprendre davantage sur toutes les méthodes existantes, il est possible de s'y référer directement. Ces ressources sont rédigées en langue anglaise.
+
+L'image ISO doit être écrite sur un support de stockage USB pour pouvoir être démarrée depuis un système UEFI ou BIOS.  
+Plusieurs outils existent pour réaliser cette opération, depuis un terminal ou une interface graphique plus simple d'utilisation.
+
+### Avec une interface graphique
+
+Etcher est un outil populaire et simple d'utilisation. Il fonctionne sur Linux, Windows, MacOS.  
+Il peut être téléchargé depuis le site de son éditeur, [balena.io](https://www.balena.io/etcher).
+
+1. Brancher le support USB qui servira de clé usb bootable à l'ordinateur où se trouve l'image ISO téléchargée plus tôt.
+1. Lancer l'application Etcher.
+1. Choisir l'image ISO.
+1. Choisir la clé USB. ⚠ Toutes les données stockées dessus seront écrasées.
+1. Lancer le _flash_.
+
+### Depuis un terminal
+
+La procédure est documentée [dans la section infrastructure](@/operations/guide_création_nœud.md).
 
 ## Démarrer l'ordinateur sur l'OS du Live CD