{ config, pkgs, ... }:
{
        # Noyau standard (pas forcément le _latest : plus léger à récupérer
        # depuis le cache et suffisant pour du Skylake).
        boot.kernelPackages = pkgs.linuxPackages;

        boot.loader.grub = {
                enable = true;
                device = "nodev";
                efiSupport = true;
                useOSProber = true;
                configurationLimit = 5;   # moins de générations = moins de disque
        };
        boot.loader.efi.canTouchEfiVariables = true;

        # NB : si tu as choisi le chiffrement LUKS à l'installation, l'entrée
        # boot.initrd.luks.devices.* correspondante est déjà générée dans
        # hardware-configuration.nix par nixos-generate-config. On ne la
        # duplique donc PAS ici (l'UUID est propre à ce disque).
}