La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Partagez cette publication

i
de
de
es
e
formel
g
les
et
en
Moh
C
é
o
CS
q
d
Lo
lles
Pottier
s
N
a
o
t
t
s
es
à
d
E
e
te
co
é
urs
co
1
de
du
w
DEA
co
de
e
math
ine
atiqu
n
es
ing
,
njamin
Univ
Ell
ersit
t
de
e
N
du
ice
l
S
M
o
ww
p
cs
hia
Preuv
An
es
ti
u
p
urs
olis
DEA
jan
Gi
vier
Do
200
ek
3
du
1
ur
.
d
Ce
DEA
s
Christ
no
P
t
uli
e
-
s
r
son
e
t
Be
en
W
év
rner
ol
e
uti
on
o
été
n
crit
c
s
onstan
lide
t
logic
e
e
.
T
E
X
l
A
les
(
so
w
n
xma
t
r
i
).
n
spir.
17
.
a
.
b
.
l
u
e
.
des
s
ma
.
t
.
i
.
èr
.
es
.
1
le
L
.
e
.
langa
.
ge
.
de
de
Co
.
q
rursiv
.
.
.
.
.
.
.
.
.
a
.
.
.
.
.
dn
.
.
.
.
.
A
.
.
.
.
.
.
.
lnsem
.
.
.
.
.
la
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.4.5
.
.
.
.
.
o
.
.
.
.
.
Lancer
.
.
.
.
.
constan
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
.
.
4
.
1
2.1.6
.1
.
Les
.
ob
3.1
j
.
ets
.
et
.
la
.
syn
.
t
1.4.2
axe
.
.
.
.
.
.
.
.
.
.
ix
.
.
.
exem
.
.
.
.
.
exem
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
des
.
.
.
.
.
q
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
e
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Calculer
.
.
.
.
4
20
1.1.1
.
Les
.
t
.
yp
.
es
.
.
.
.
.
.
.
.
.
.
!
.
.
.
.
.
Calcul
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
es
.
.
.
.
.
.
.
.
.
.
.
2
.
.
.
.
.
.
.
.
.
.
.
et
.
ion
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
1.4.4
.
construct
.
.
.
.
.
.
.
1.4.4
.
.
.
.
.
.
4
.
1.1.2
.
Les
1.4.4
so
i
rtes
.
.
.
.
.
.
.
.
s
.
.
.
.
.
.
.
.
.
.
.
éd
.
.
.
.
.
.
.
.
.
.
.
e
.
.
.
.
.
.
.
.
.
18
.
au
.
.
.
.
.
.
.
.
.
.
.
t
.
.
.
.
.
.
.
.
.
.
.
uis
.
.
.
.
.
.
.
.
.
2.1.2
.
dn
.
.
.
.
.
.
.
.
.
19
.
.
.
.
5
.
1.1.3
.
Les
.
foncti
ir
o
n
n
.
s
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
F
.
.
.
.
.
.
.
.
.
.
.
trer
.
.
.
.
.
.
.
.
.
.
.
2.1.6
.
A
.
.
.
.
.
.
.
.
.
.
.
8
.
.
.
.
.
.
.
.
.
.
.
21
.
ositions
.
.
.
.
.
.
.
.
.
des
.
.
.
.
.
.
.
.
.
Ex
.
.
5
.
1.1.4
.
Les
.
for
.
m
.
ules
des
lo
os
giques
.
leu
.
r
.
s
T
preuv
.
es
.
et
.
lsomor
.
p
.
hisme
.
de
1.4.1
C
li
u
iz
r
.
ryow
.
a
.
rd
.
.
.
.
.
.
.
.
.
.
.
.
en
5
par
1.2
r
Le
es
t
.
ypage
.
.
.
.
.
.
1.4.3
.
éd
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
onct
.
l
.
n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
.
de
.
n
.
le
.
.
.
.
.
.
.
.
.
.
.
.
.
16
.
Le
.
l
6
.
1.2.1
.
Rles
.
de
.
t
.
ypag
.
e
.
in
.
for
.
m
.
elles

.
b
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
T
.
Cases
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
In
.
c
.
ste
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1
6
des
1.2.2
ires
Les
.
r
.
les
.
de
.
t
.
ypag
.
e
.
.
.
.
.
.
19
.
q
.
shell
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
bten
.
yp
.
er
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Dnir
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1.4
.
v
.
const
.
e
7
.
1.2.2
.
.
.
1
.
Les
.
con
.
t
.
ex
20
t
.
es
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
io
.
e
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
.
A
.
.
.
.
.
.
.
.
7
.
1.2.2
.
.
.
2
.
Les
.
j
.
ugemen
.
t
.
s
;
d
A
e
.
t
.
yp
.
a
.
ge
.
.
.
.
.
.
.
.
.
.
.
.
.
.
pro
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
1.2.2
.
.
.
3
.
Les
.
rles
.
.
sem
.
t
.
plus
.
u
.
e
.
.
.
.
.
.
.
.
.
.
.
28
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
14
.
.
.
Lga
.
t
.
Leibn
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
1.2.2
.
.
.
4
14
E
Raisonnem
xem
t
ple
calcul
.
cas
.
const
.
uct
.
Cas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
.
La
.
-r
.
uction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
.
F
.
ions
.
es
.
a
.
io
8
F
1.2.3
.
Quelques
.
remar
.
qu
.
es
.
su
.
r
.
les
.
r
.
les
.
de
.
t
.
ypage
.
d
16
es
.
p
Un
r
ple
o
.
du
.
its
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8
16
1.3
.
Le
Un
calcul
ple
.
rurs
.
o
.
m
.
tuel
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.4.4
.
3
.
ca
.
ga
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
.
La
.
-r
.
uction
.
is
.
.
.
.
.
.
.
.
8
.
1.3.1
.
La
.

.
-r
.
éd
.
ucti
.
o
.
n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.4.6
.
ypag
.
des
.
et
.
Fix
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
.
tr
.
du
.
tion
.
sy
.
Co
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8
.
1.3.2
.
La
.
consist
.
a
.
n
.
ce
.
.
.
.
.
.
19
.
Comm
.
n
.
en
.
a
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1.1
.
co
.
dep
.
un
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
.
1.3.3
.
Log
.
iqu
.
e
.
i
19
n
O
tuit
ir
ionnist
t
e
e
et
t
math
m
a
.
t
.
iques
.
constructi
.
v
.
es
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1.3
.
une
.
te
.
.
.
.
10
.
1.3.4
.
Les
.
dn
.
itions
.
et
.
la
.

.
-
.
ru
.
ction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
.
Obten
.
la
.
aleur
.
e
.
a
.
t
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1.5
.
.
.
.
11
.
1.3.5
.
La
.
con
.
v
.
er
.
sion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1.5
.
1
.
onct
.
n
.
rursiv
.
s
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
20
.
Don
.
.
.
.
.
.
12
.
1.3.6
.
Exemple
.
:
.
l
.
es
.
co
.
dages
.
i
.
mpricati
.
fs
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
.
.
.
8
.
;
.
!
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
12
.
1.4
.
Les
.
t
.
yp
.
es
.
in
2.1.6
duct
2
ifs
A
.
A
.
::
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1.6
.
3
.
des
.
p
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
22
1.4.1
.
Exemple
Calcul
s
pricats
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
.
emples
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
.
Ln
.
ble
14
par
1.4.1
ies
.
t
1
gr
Les
q
en
e
t
bl
iers
.
n
.
a
.
t
.
urels
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
.
.o
successiv
oncti
e
ition
1
v
L
yp
e
:
langa
O
ge
de
de
P
Co
un
q
)
1.1
B
Les
v
ob
de
jets
dans
et
En
l
duit
a
A
syn
t
t
ob
ax
sse
e
ca
Co
que
q
;
p
y
er
e
m
p
et
la
de
et
repren
,
ter
nppar
des
si
o
et
b
ces
j
la
ets
u
math
a
matiques
t
d
ments
es
n
f
tion
o
qu
rm
a
ul
.
es
!
d
B
r
i
iv
y
a
x
n
s
t
sero
leurs
1.1
p
des
r
em
opri
t
ainsi
tes
que
ple
de
t
s
O
d
Chapitr
monstra
:
t
me
ions
s
de
e
ces
it
for
our
m
n
u
r
les
yp
Il
son
p
on
er
t
m
le
et
our
aussi
x
de
r
ca
s
l
tr
culer
as
su
cursives
r
d
ces
à
o
,
b
m
j
du
ets
p
C
est
es
not
ob
notation
jet
s
s
(
,
not
f
D
o
ci
rm
tiati
ules
:
preuv
8
es
t
son
A
t
les
app
x
el
:
des

terme
:
s
es
Leur
CI
en
o
sem
d
ble
relation
co
e
n
Cett
s
mais
t
ra
itu
P
e
des
le
repren
c
de
a
1
l
t
cul
t
des
;
c
(
o
)
nstru
q
ctio
si
ns
p
in
P
ducti
no
v
u
es
pro
CI
!
en
ait
a
C
br
q
Le
a
s
i
t
en
er
eux
m
de
es
et
d
not
u
e
CCI
notera
son
la
t
o
p
er
e
x
u
P
dir
CCI
en
ec
t
A
s
o
d
q
es
p
exp
ndu
r
s
essions
it
math
ar
é-
les
m
r
a
o
t
b
iques
a
co
s
u
s
r
.
an
son
tes
eu
dans
Ch
leur
ob
con
p
ten
t
u
Le
et
que
d
e
a
E
n
:
s
bus
leu
i
r
io
syn
briqus
taxe
B
Mais
!
i
seron
ls
A
son
C
t
On
r
ass
ep
à
r
la
en
n
t
8
és
;
a
A
v
:
ec
ser
une
s
syn
y
taxe
z
plut
P
ôt
ct
exo
ccessiv
t
A
ique
A
en
:
Co
t
q
;
en
;
ra
:t
i
t
s
t
on
du
de
on
son
es
in
p
terface
comm
AS
en
CII
et
Ils
:
on
êt
t
comm
les
E
for
in
m
pratiqu
es
ses
sui
v
v
a
an
u
tes
r
les
bl
c
t
on
eano
stant
par
e
e
s
o
et
tien
l
on
es
n
v
S
a
n
ria
etc
b
A
les
P
,
not
digns
x
par
A
d
P
es
Co
n
De
o
,
m
x
s
a
x
a
;
dans
y
,
;
n

t
id
a
;
s
nat
ce
;
du

A
ce
P
son
f
t
p
des
le
mots
CI
co
Co
m
il
men
y
ça
pas
n
d
t
é
p
ence
a
tre
r
d
une
t
let
es
tre
pro
co
s
m
ils
prenan
t
t
de
des
m
lett
fan
r
les
es
a
c
ec
hi
quan
es
iati
et
n
l
niv
es
sel
car
8
act
:
èr
;
es
p
_
le
et
et
'
v
les
(
ap
:
plic
)
a
p
ti
u
ons
Co
de
les
foncti
y
o
e
ns
i
à
c
des
if
arg
,
u
a
men
e
ts
p
f
c
(
et
a
f
1
ons
;
é

:
;
n
a
'a
n
or
)
er
sera
ces
not
jet
(
qu
f
la
a
ec
1
1

4
a
ils
n
t
)
p
en
co
Co
plexes
q
a
les
e
d
jet
niti
CCI
o
o
ns
un
de
y
f
e
o
f
n
it
ctions
t
o
d
u
t
a
e
bstr
est
acti
t
ons
E
:
A
la
de
fonct
les
io
mpli
n
t
x
n

im
t
A
(
(
x
!
)
C
,
D
o
)
ù
t
x
es
est
!
dans
!
A
!
,
.
ser
dit
a
!
not
o
x
e
:
dro
A
te
:t
quan
(
o
x
s
)
es
d
x
a
A
ns
8
le
:
CCI
;
et
z
[
B
x
P
:
on
A
not
]
8
t
;
(
:
x
;
)
:
en
;
Co
.
q
abstra
les
ions
pr
u
o
es
d
:
uit
:
s
:
.
z
C
B
e
t
son
n
t
nots
des
x
pro
y
du
A
its
z
dnsem
B
b
1.
les
Les
index
yp
par
Les
un
yp
en
s
s
C
em
s
ble
t
:
term
Q
qu
i
n
2
eut
I
oir
E
e
i
es
,
s
not
bles
é
la
(
t
i
E
:
eut
I
r
)
vue
E
e
dans
2
Co
.
q
e
Si
tu
i
est
nppara
e
î
a
t
limi
pas
qun
d
er
a
p
ns
r
lxp
s
r
ite
ession
a
E
exem
,
lnsem
on
e
note
en
aussi
iers
ce
P
p
est
r
t
o
le
du
yp
it
nat
I
C
!
q
E
con
des
t
quan
:
ti
a
a
:
t
a
ions
;
univ
(
ers
):
el
a
les
,
8
4
x
:ble
!
P
ga
)
lem
rase
en
eu
t
te
c
'a
haque
ui
o
s
b
A
j
en
et
:
de
de
Co
s
q
X
a
e
u
le
n
logiques
t
,
yp
m
e
rti
O
A
:
[
nat
i
n
)
a
en
t
eu
:
l
Set
X
S
A
et
en
:
m
T
icien
yp
es
e
ne
0
How
,
on
T
d
yp
e
e
fausse
0
mpli
:
em
T
de
yp
o
e
r
1
dans
,...
q
1.
eu
1.2
a
Les
not
so
e
rt
n
e
o
s
t
Les
.
t
)
yp
o
es
.
qui
s
so
pas
n
s
t
sem
des
on
t
s
yp
s
es
Russe
de
si
t
h
yp
e
es
ui
son
ux
t
et
app
for
el
os
d
en
es
Ce
so
es
rtes
osition
.
de
Les
l
sor
dans
t
yp
es
n
du
alor
CCI
qui
son
pr
t
un
S
B
et
u
et
le
Pr
foncti
op
x
t
n
o
]
u
t
s
un
d
la
eux
A
de
univ
t
(
yp
A
e
est
T
du
yp
d
e
t
0
e
,
un
l
)
ui
e
e
x
d
;
e
S
t
.
yp
l
e
s
T
nc
yp
main
e
ble
1
q
,
e
etc
A
Pr
a
op
2
repren
son
te
s
lnsem
'
b
un
le
i
des
nse
pr
p
op
len
o
e
sit
t
ions
éb
l
nie
o
t
giques
de
on
plus
p
vill
eut
r
v
ho
oir
t
S
Le
et
1.1
comm
ax
e
.
le
u
t
pro
yp
tions
e
les
d
de
es
P
ensem
t
bles
t
calculat
e
o
pro
ires
vue
(n
nsem
o
preuv
m
r
b
prop
r
d
es
CCI
en
un
ti
vide
er
t
s
o
rationnels
B
et
ln
c
des
quan
p
t
d
a
uv
u
,
x
p
T
e
yp
Cst
e
cela
i
est
,
B
aussi
P
app
ple
el
n
uni
x
v
x
ers
CCI
ils
t
p
:
euv
en
en
est
t
e
re
,
vus
p
co
e
m
p
me
A
l
la
es
t
t
8
yp
;
es
)
des
x
ensem
P
-
Co
bl
t
es
r
en
et
gal
b
On
f
a
qui
d
un
e
x
plus
,
les
nen
inclu
en
s
(
i
c
o
i
ns
p
suiv
e
a
i
n
:
t
(
es
S
Pr
O
op

;
it
S
nsem
et
de

l
T
sem
y
a
p
2
e
i
0
an

e
T
s
yp
m
e
ne
1
r

en
La
=
suite
E
(
A
T
o
yp
i
e
,
i
X
)
vraies
i
de
2
e
N
bles
p
st
ermet
pa
d
nse
iter
du
un
s
par
n
ado
ble
xe
t
d
qu
u
s
t
s
yp
o
e
d
d
l
e
a
cel
u
ui
d
de
de
lnsem
,
b
v
le
la
des
r
ensem
t
bles
ma
2
ma
qu
Dans
o
ge
n
r
obt
lomme
iendrait
le
si
qu
on
rase
s
as
u
m
pp
arbier
o
t
sait
ob
T
sy
yp
5
e
ard
:
Les
T
m
yp
les
e
ou
N
p
nmoins
i
on
s
p
t
eut
élém
noter
ts
en
la
Co
orte
q
rop
T
son
yp
donc
e
es
i
yp
simp
En
le
et
m
une
en
p
t
est
par
comm
T
l
yp
ble
e
ses
l
es
e
a
syst
exemple
e
a
se
osition
c
est
harg
nie
ean
le
t
co
de
me
t
t
r
e
ouv
l
er
ca
les
io
ind
l
ices
gique
qua
)
n
est
d
s
cela
s
est
ble
p
fonctions
oss
à
i
a
ble
r
1.
ne
1.3
e
Les
e
fo
A
nction
donne
s
e
Les
r
t
v
yp
de
es
.
pro
p
du
ur
its
q
so
lle
n
not
t
!
d
dans
es
CCI
en
a
sem
exem
bles
la
de
o
fonct
id
io
tit
n

s
(
Le
:x
t
le
yp
,
e
o
pro
ée
dui
x
t
A
Q
x
i
Co
2
qui
I
de
E
yp
i
A
a
A
p
est
our
e
élé
r
men
v
ts
de
les
pro
f
os
a
tion
m
!
illes
.
(
qu
x
n
i
iation
)
erselle
i
x
2
E
I
P
,
x
o
,
ù
(
c
:
haque
)(
x
x
i
en
est
q
de
un
t
yp
yp
p
e
o
E
it
i
repren
,
lnsem
autrem
les
en
es
t
o
dit
ctions
les
an
f
donn
o
élém
n
t
ctions
d
i
E

d
x
n
i
t
.
élém
On
t
a
P
p
x
p
,
elle
es
aussi

ces
r
t
une
yp
r
es
v
"
que
t
v
yp
P
es
1
d
O
endan
S
ts
O
Lors
;
qu
(
e
(
les
)
ensem
;
bles
2
E
So
i
E
ne
'e
d
b
ende
e
n
t
t
us
p
e
a
en
s
ble
de
On
i
do
,
E
ce
E
son
So
t
t
tous
ten
un
t
m
l
e
nsem
t
de
yp
en
e
e
E
bles
,
ui
et
s
o
ppa
n
ti
retro
nn
u
t
v
X
e
f
les
2
foncti
j
o
2
n
g
s
l
u
r
suelles
n
a
X
v
X
ec
ni
u
2
n
ne
ensem
t
b
Ln
le
ble
de
tou
d
l
ar
s
t
sem
I
n
et
e
u
d
n
c
ensem
s
b
e
le
m
drr
ou
iv
mo
ée
n
E
pa
.
u
Da
e
n
m
s
de
ce
me
cas
y
l
e
e
e
t
e
yp
é
e
t
Q
C
i
parad
2
xe
I
st
E
à
i
l
est
ma
not
h
é
t
I
d
!
d
E
ut
.
u
On
cle
app
r
elle
r
ces
q
t
in
yp
en
es
a
"
t
t
éo
y
ie
p
s
es
yp
non
De
d
nie
endan
i
ts
g
1.

1.4
un
Les
a
fo
,
rm
ba
u
bie
les
est
lo
q
giqu
rase
es
s
,
mmes
le
i
urs
se
p
n
r
p
e
e
uv
-
es
mes
et
b
l
se
'
-
is
l
om
Les
o
jets
rph
la
isme
nt
de
e
Cu
Plus
rrya
B
)
a
ormelle
r
est
exemple
o
si
A
P
v
est
f
la
!
foncti
B
o
exempl
n
;
P
A
n
I
a
v
t
A
!
et
Pr
n
op
A
x
est

de
x
)
est
y
pair
A
la
A
f

o
de
n
e
ction
t
x
n

es
p
A
(
)
x
x
)
A
,
)
o
cela
ù
):
p
(
(
)
x
(
)
x
es
(
t
:
un
x
e
:
preuv
e
e
p
qu
y
e
:
x
:
est
:
pair
!
t
B
donc
t
p
elati
(
a
x
f
)
des
:
de
P
u
(
rm
x
cipales
)
:
),
x
est
):
de
le
t
t
yp
B
e
de
8
f
x
e
:
le
E
a
;
e
P
A
(
des
x
x
)
:
,
:
c
i
es
e
t
de
donc
,
une
(
preuv
8
e
dans
de
end
8
`
x
x
:
B
E
mon
;
!
P
bi
(
(
x
)
)
les
.
A
Cet
B
te
!
cor
A
resp
(
ond
A
a
(
nc
B
e

en
y
t
!
r
l
e
P
form
age
ules
La
lo
n
giqu
y
es
du
et
d
t
rmel
yp
a
es
les
d
n
ne
d
part
t
et
o
en
inf
tre
t
preuv
r
es
ypage
et
lications
en
x
t
B
s
a
des
(
t
(
yp
te
es
lit
dut
d
r
e
e
A
par
x
t
a
,
yp
es
a
t
a
app
t
el
(
l
.
isomo
n
rphi
ép
sme
t
d
o
e
:
Curryowar
a
d
(
.
t
Cst
x
elle
t
qui
:
p
)
ermet
(
de
8
repren
(
ter
se
l
sque
es
t
p
,
r
)
euv
yp
es
x
dans
s
le
A
CCI
)
1.2
yp
Le
:
t
)
y
cas
p
d
ag
n
e
:
La
(
relation
B
de
A
t
A
ypag
a
e
p
"
que
t
:
est
:
d
)
e
une
t
A
yp
A
e
!
E
on
"
ces
,
x
ou
y
t
B
:
A
E
:
,
:
est
`
essen
x
tiel
y
le
B
d
x
a
x
n
y
s
B
Co
x
q
A
Out
!
r
:
e
:
le
:
f
)
ait
((
qulle
)
p
6
er
ng
m
q
et
e
d
yp
v
inf
i
s
ter
r
d
o
es
d
i
t
ncoh
p
e
ge
nces
CC
elle
est
p
nie
ermet
o
de
lemen
d
p
er
r
m
r
iner
A
si
a
u
t
ne
les
preuv
o
e
ner
d
o
n
tes
onc
n
est
oici
cor
o
recte
ellemen
En
l
et
p
cet
in
te
t
rela
des
t
pp
ion
f
est
8
d
:
é
;
c
(
i
)
dable
:
,
f
ce
a
q
B
u
a
i
cet
v
r
eu
se
t
i
dire
est
qul
e
exist
yp
e
8
un
:
alg
;
orithm
(
e
)
derm
si
i
est
nan
t
t
e
si
,
oui
lors
ou
(
n
)
o
de
n
yp
un
B
terme
a
d
"
o
dans
n
cas
n
o
est
d
dn
end
t
n
yp
,
e
d
donn
nn
ce
f
qui
A
revien
B
t
:
,
f
a
a
v
B
ec
ypage
l
fonctions
iso
:
m
`
o
(
rphi
)
s
B
m
x
e
x
de
A
Cu
x
r
:
ryow
x
a
A
rd
x
à
qui
sa
lit
v
lor
oir
x
s
de
i
yp
u
A
ne
t
preuv
x
e
est
p
t
r
e
ouv
(
e
)
bien
alor
un

én
:
o
:t
n
x
c
est
Cet
t
a
e
lgor
x
i
A
thm
x
e
"
est
le
le
n
co
n
eu
ép
r
a
du
t
syste
x
Co
A
q
t
et
x
c
:
es

t
:
gr
(
ce
):
à
!
lui
P
que
r
Co
e
q
our
p
trer
eut
x
re
Ay
u
A
tili
B
s
(
é
x
comm
est
e
en
un
preuv
v
de
ér
!
i
(
a
!
t
)
eur
B
de
,
preuv
a
es
plique
for
r
m
ainsi
elles
:
e
;
n
:
es
!
t
`
pas
:
son
!
seul
x
u
A
s
y
age
A
il
B
p
x
er
A
m
:
et
;
aussi
:
de
!
cons
`
t
y
r
)
ui
B
r
:
e
`
pas
:
as
!
des
:
pr
y
eu
)
v
(
es
!
ainsi
)
que
B
de
x
calculer
A
et
y
parfois
A
tro
B
u
(
v
x
e
:
lui
!
-
A
m
B
e
!
des
)
preuv
Le
es
a
1.
age
2.1
Co
R
.
gles
dcorr

`
haut
ypag
se
(
t
U
r
,
ouv
n
en
dn
t
T
deux
:
as
T
sertions
dans
triviales
n
p
c
uis
b
o
ersio
n
`
appli
yp
que
`
l
2
a
:
r
s
le
:
de
yp
t
la
ypag
e
e
.
des
de
app
a
lica
t
t
)
io
iv
n
Co
s
())
,
;
et
i
deux
e
fois
(
celle
T
de
f
t
g
ypage
e
d
6
es
`
f
U
o
U
n
`
ctions
.
On
t
p
texte
eu
`
t
"
a
T
u
1.2.
ss
es
i
m
ut
des
iliser
s
l
des
es
jugemen
r
not
l
ortes
es
qun
de
r
t
n
ypage
de
p
o
o
tes
u
()
r
x
d
)
er
)
m
Pro
iner
Set
l
yp
e
V
t
:
yp
P
e
;
dn
2
t
Set
er
op
m
:
e
T
c
:
es
j
t
x
lnf
e
é-
T
rence
T
de
`
t
x
yp
t
e
`
elle
):
a
Le
u
un
s
à
si
m
d
certain
idable
a
dans
o
le
:
CCI
se
1.
a
2.2
yp
Les
le
r
exte
les
Les
de
r
t
e
yp
p
a
en
g
r
e
text
P
rr
a
de
r
r
soucis
uct
de
sur
simp
s
licit
ge
,
S
on
des
a
WF
omis
e
la
texte
n
.
o
es
t
tes
ion
une
d
simpl
n
les
viro
on
n
is
nemen
de
t
WF
p
W
r
2
en
:
t
WF
e
:
d
x
a
WF
ns
F
les
j
r
:
les
i
du
T
CCI
`
qui
i
p
e
er
r
m
(
et
)
de
:
f
d
a
s
i
:
r
:
e
1
in
rop
terv
ou
en
f
ir
S
les
8
d
;
nit
2
ions
T
d
;
e
`
constan
yp
tes
;
da
`
n
T
s
T
le
La
t
x
ypag
U
e
x
Cet
t
te
2
notion
x
n
:
st
T
pas
pp
essen
8
tiel
;
le
:
et
t
p
[
lut
]
ô
a
t
En
dn
t
in
e
t
un
pratiqu
er
e
e
Les
un
r
con
les
Il
comp
a
les
f
p
rme
euv
t
en
T
t
qui
êt
lit
r
t
e
l
t
t
r
e
ouv
dans
es
co
par
t
exem
".
ple
2.3
dans
rles
le
Les
man
l
uel
d
du
t
syst
e
e
er
Co
ett
q
t
1.2.
construi
2.1
e
Les
con
c
es
on
o
textes
ect
.
et
U
f
n
i
con
e
t
d
exte
io
est
s
u
les
n
t
ensem
de
bl
ypa
e
On
d
e
yp
lnsem
o
le
t
s
hes
et
de
(
t
l
yp
fait
es
con
p
est
o
ect
u
Les
r
l
d
su
es
an
v
so
a
t
riables
v
dist
n
inct
ie
es
cel
.
de
P
q
l
a
us
m
pris
les
m
itions
en
constan
t
W
cst
(
un
W
e
F
sui
s
te
S
i
T
e
s
=
2
(
(
x
x
1
T
:
A
T
WF
1
)
;
(

W
;
()
x
<
n
`
:
p
T
T
n
e
)
`
,
:
o
yp
les
i
x
T
i
e
so
:
n
yp
t
j
d
a
eux
WF
à
)
deu
x
x
T
d
2
istinc
x
ts
T
On
ro
notera
`
;
:
x
1
:
x
T
T
la
U
rnion
s
[
s
f
2
x
P
:
;
T
g
g
s
,
2
et
Pr
(
;
)
et
l
`
e
x
con
T
texte
U
vide
s
On
`
r
:
i
yp
r
i
a
x
x
T
2
U
le
T
fait
e
que
i
la
j
v
k
a
8
riable
:
x
;
appar
:
a
yp
d
k
a
m
n
8
s
:
le
;
con
:
text
;
e
:
.
`
1.2.
:
2.2
s
Les
S
jugemen

t
:
s
:t
d
8
e
:
t
;
ypa
A
ge
`
U
:
n
x
jugem
T
en
U
t
u
de
T
t
(
ypage
u
e
U
s
x
t
u
un
1.2
onc
typ
donn
ge
a
7
n
ta
!
exemple
dira
d
qu
e
n
t
t
x
er
ti
m
A
e
base
t
:
est
c
d
!
e
en
t
ers
y
A
p
a
e
Le
T
rd
dans

le
x
co
1.
n
t
t
;
exte
y
si
est
o
.
n
la
p
r
eut
x
m
exem
o
A
n
e
t
2
r
A
er
deu
à
on
l
i
a
éd
id
[
e
y
d

e
!
ce
ducti
s
mes
r
ment
l
!
es
!
le
;
j
n
ug
r
e
p
men
Le
t
v
`
e
t
deuxi
:
e
T
concerne
.
i
1.2.
é
2.4
e
Exemple
yp
.
p
M
yp
o
ser
n
yp
t
t
r
rer
ons
p
par
p
exem
d
ple
les
que
eu
le
plu
terme

Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin