Installation et scripts UEFI ou BIOS. modifs ai-kde