fix(infra): donne au runner un nom distinct de son label

--name reprenait runner_labels : un runner et son label portaient le meme
eni-g3. Deux machines qui reprendraient cette racine s'enregistreraient sous
le meme nom, ce que GitHub refuse. Le nom vaut desormais celui de l'hote,
resolu sur la machine, et runner_nom permet de le forcer.

Point 2 de la revue de la PR #144.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

infra/terraform/environments/vm-eni/variables.tf

@@ -77,6 +77,12 @@ variable "runner_labels" {
   default     = "eni-g3"
 }
 
+variable "runner_nom" {
+  type        = string
+  description = "Nom du runner cote GitHub, unique dans le depot. Vide : le nom d'hote de la machine, qui reste unique si cette racine est reprise pour une seconde VM. A renseigner pour faire tourner deux runners sur la meme machine."
+  default     = ""
+}
+
 variable "runner_dossier" {
   type        = string
   description = "Dossier d'installation du runner sur la machine."