Add anchor for cross-referencing.

1 files changed, 1 insertions, 1 deletions

diff --git a/notes-accq205.tex b/notes-accq205.tex
index 4642f13..87c844b 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -5701,7 +5701,7 @@ $a=1$ et du coup $b=e$.  La valuation est donc complètement déterminée
 par la situation, et comme on sait déjà qu'elle doit exister, on a
 montré un cas particulier du résultat suivant :
 
-\begin{prop}
+\begin{prop}\label{smooth-points-give-unique-place}
 Si $h \in k[x,y]$ est un polynôme irréductible tel que $h'_x$ et
 $h'_y$ ne soient pas tous deux nuls en un certain point fermé de
 $Z(h)$ (la valeur d'un polynôme en un point fermé $Z(\mathfrak{m})$