b r i c o m i c r o

$ w get https://ftpmirror.gnu.org/gnu/guix/guix-system-install-1.4.0.x86_64-linux.iso

$  w get https://ftpmirror.gnu.org/gnu/guix/guix-system-install-1.4.0.x86_64-linux.iso.sig

$  w get https://sv.gnu.org/people/viewgpg.php?user_id=15145
      -qO - | gpg --import -

$ gpg --verify guix-system-install-1.4.0.x86_64-linux.iso.sig

# dd if=guix-system-install-1.4.0.x86_64-linux.iso of=/dev/sdX status=progress

# sync

Redémarrer le T400 sur la clé USB.

Et ça marche 😊

Source : https://guix.gnu.org/manual/fr/html_node/Installation-depuis-une-clef-USB-ou-un-DVD.html