From 0b0df0689c44ef19b87cb7ba66d503ddaf3ebba2 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 23 May 2016 14:32:29 +0200
Subject: Give a little more details in answer to test (was too terse).

---
 controle-20160421.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'controle-20160421.tex')

diff --git a/controle-20160421.tex b/controle-20160421.tex
index 935ca0e..a769376 100644
--- a/controle-20160421.tex
+++ b/controle-20160421.tex
@@ -648,7 +648,9 @@ On vient de voir que $\ord_M(x) = -2$ et $\ord_M(y) = -5$.  Par
 conséquent, $\ord_M(x^i) = -2i$ et $\ord_M(x^i y) = -2i-5$.  Ces
 quantités sont $\geq -2r$ lorsque respectivement $i\leq r$ et $i\leq
 r-\frac{5}{2}$ (c'est-à-dire en fait $i \leq r-3$ puisque $i,r$ sont
-entiers).  On a bien montré que $1,x,x^2,\ldots,x^r,\penalty0
+entiers).  En toute autre place $P$ que $M$, on sait que
+$\ord_P(x)\geq 0$ et $\ord_P(y)\geq 0$ d'après la question (3).
+On a bien montré que $1,x,x^2,\ldots,x^r,\penalty0
 y,xy,\ldots,x^{r-3}y$ sont dans $\mathscr{L}(2r(M))$.  Ils sont
 linéairement indépendants sur $k$ car d'une part les puissances
 de $x$, qui sont dans $k(x)$, sont linéairement indépendantes sur $k$,
-- 
cgit v1.2.3

