fix(agent): Lea.bat kill par PID + LeaServerClient URL

- Lea.bat ne tue plus TOUS les pythonw.exe du poste (Jupyter, Spyder)
  Kill ciblé uniquement sur le PID lu dans lea_agent.lock
- LeaServerClient utilise RPA_SERVER_URL (HTTPS prod) au lieu de
  hardcode http://:5005
- Normalisation du slash final de l'URL

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

agent_v0/lea_ui/server_client.py

@@ -71,8 +71,16 @@ class LeaServerClient:
         self._chat_port = chat_port
         self._stream_port = stream_port
 
+        # En prod, la base URL passe par le reverse proxy HTTPS
+        # (ex. https://lea.labs.laurinebazin.design). Si RPA_SERVER_URL est
+        # definie on l'utilise telle quelle, sinon on reconstruit http://host:port.
+        server_url = os.environ.get("RPA_SERVER_URL", "").strip().rstrip("/")
+        if server_url:
+            self._stream_base = server_url
+        else:
+            self._stream_base = f"http://{self._host}:{self._stream_port}"
+
         self._chat_base = f"http://{self._host}:{self._chat_port}"
-        self._stream_base = f"http://{self._host}:{self._stream_port}"
 
         # Etat de connexion
         self._connected = False