Same for France, it’s only a pilot project in the digital directorate, about 250 devices if I recall correctly. But they are also building a NixOS config.