@bortzmeyer @saper Wow thanks a lot for your answers (and sorry for failing to read what you had already written plainly 😅). So that means that nixos.org is not well configured but that Free isn't connected to that part of Internet ?! But I can ping that IP, I'm sure I can reach the site if I write an entry in /etc/hosts.