diff --git a/operating-systems/buer.scm b/operating-systems/buer.scm
index 04440f0..44a08cd 100644
--- a/operating-systems/buer.scm
+++ b/operating-systems/buer.scm
@@ -220,12 +220,14 @@
                     (discover? #t)
                     (authorized-keys
                      (cons* substitute-key:genenetwork.pub
+                            substitute-key:inria.pub
                             substitute-key:yumiko.pub
                             %default-authorized-guix-keys))
                     (substitute-urls
-                      `("https://ci.guix.gnu.org"
+                      `("https://bordeaux.guix.gnu.org"
                         "https://cuirass.genenetwork.org"
-                        "https://bordeaux.guix.gnu.org"))
+                        "https://ci.guix.gnu.org"
+                        "https://guix.bordeaux.inria.fr"))
                     (extra-options
                       `("--max-jobs=8"
                         "--cores=4"