Fix typo.

1 files changed, 1 insertions, 1 deletions

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}