Name the Kubernetes objects in English

catalogue-agent and approvisionnement-agent named a Deployment, a Service, an
Ingress and a Certificate in French, in an estate where nothing else is.

The peer URLs move with them, set through the existing per-environment override
so the rename takes effect without rebuilding an image; the defaults in the code
carry the same values for the next build.

The Keycloak client ids, the image names and the repository names are still
French. They are a separate, heavier move.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

k8s/ingress.yaml

@@ -4,7 +4,7 @@
 # every conversation with it went through `kubectl run curl`. An orchestrator
 # nobody can talk to is not finished.
 #
-# Peer traffic does **not** come through here — catalogue calls, and is called by,
+# Peer traffic does **not** come through here — this agent calls, and is called by,
 # other agents on their in-cluster Service names. This is the human door.
 #
 # ## It is not an open door
@@ -27,10 +27,10 @@
 apiVersion: cert-manager.io/v1
 kind: Certificate
 metadata:
-  name: catalogue-agent-tls
+  name: catalog-agent-tls
   namespace: agents
 spec:
-  secretName: catalogue-agent-tls
+  secretName: catalog-agent-tls
   dnsNames:
     - catalog-agent.sttlab.local
   issuerRef:
@@ -40,7 +40,7 @@ spec:
 apiVersion: networking.k8s.io/v1
 kind: Ingress
 metadata:
-  name: catalogue-agent
+  name: catalog-agent
   namespace: agents
   annotations:
     nginx.ingress.kubernetes.io/auth-url: http://keycloak.keycloak.svc.cluster.local:8080/realms/classic-models/protocol/openid-connect/userinfo
@@ -56,7 +56,7 @@ spec:
   tls:
     - hosts:
         - catalog-agent.sttlab.local
-      secretName: catalogue-agent-tls
+      secretName: catalog-agent-tls
   rules:
     - host: catalog-agent.sttlab.local
       http:
@@ -65,6 +65,6 @@ spec:
             pathType: Prefix
             backend:
               service:
-                name: catalogue-agent
+                name: catalog-agent
                 port:
                   number: 8080