Merge branch 'polaris' into 'master'

Polaris

See merge request !796

data/grid5000/sites/lyon/servers/polaris.json

 {
   "alias": [
-
+    "nfs",
+    "home-g5k",
+    "public",
+    "modules"
   ],
   "kind": "physical",
   "network_adapters": {
@@ -14,7 +17,7 @@
       "ip": "172.16.63.1"
     }
   },
-  "redfish": false,
+  "redfish": true,
   "serial": "CZ2429042L",
   "type": "server",
   "uid": "polaris",

data/grid5000/sites/lyon/servers/procyon.json

 {
   "alias": [
-    "nfs",
-    "home-g5k",
-    "public",
-    "modules"
+
   ],
   "kind": "physical",
   "network_adapters": {

input/grid5000/sites/lyon/servers/physical.yaml

 ---
 polaris:
   kind: physical
-  redfish: false
-  alias: []
+  alias: [nfs, home-g5k, public, modules]
   serial: CZ2429042L
   warranty: 2031-08-31 
   network_adapters:
@@ -59,7 +58,7 @@ alcor:
 
 procyon:
   kind: physical
-  alias: [nfs, home-g5k, public, modules]
+  alias: []
   warranty: 2023-12
   serial: 203DZG2
   network_adapters: