From 9dced5cd7b06f6b082ce22cf751148435240d386 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 19 Jun 2025 13:06:56 +0200
Subject: Fix typo.

---
 controle-20250129.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/controle-20250129.tex b/controle-20250129.tex
index 2c165b0..82b1995 100644
--- a/controle-20250129.tex
+++ b/controle-20250129.tex
@@ -956,7 +956,7 @@ l'algorithme A ont bien un sens (i.e., que c'est bien un algorithme,
 qu'on a bien défini une fonction $\mathbb{N}\times\mathbb{N}
 \dasharrow \mathbb{N}$ partielle calculable $(d,\ell) \mapsto
 g_d(\ell)$).\quad\textbf{(b)} En déduire qu'il existe une fonction
-calculable totale $e \mapsto e_d$ telle que $g_d = \varphi_{e_d}$ pour
+calculable totale $d \mapsto e_d$ telle que $g_d = \varphi_{e_d}$ pour
 tout $d$.
 
 \begin{corrige}
-- 
cgit v1.2.3