Je suis allé trop vite dans le message ci-dessus : renommer le fichier HDL.ELF en boot.elf sur la clé USB, il faut le faire sur le PC. Je crois bien que LaunchElf refuse de renommer les Elf.