prog pr chercheurs méthode - imagpotet/methodeb.pdf · tests unitaires ecole des jeunes chercheurs...
TRANSCRIPT
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
La
mét
ho
de
BC
ou
rsd
on
né
àl’E
cole
des
Jeu
nes
Ch
erch
eurs
enP
rog
ram
mat
ion
Au
sso
is-
28ju
in20
03
Mar
ie-L
aure
Pot
etD
idie
rB
ert
LSR
-IM
AG
,Gre
nobl
e,Fr
ance
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
1/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Pla
nd
uco
urs
1.In
trod
uctio
nà
lam
étho
deB
2.F
orm
alis
me
dem
odél
isat
ion
3.S
péci
ficat
ion
des
opér
atio
ns:
subs
titut
ions
4.Le
sm
achi
nes
abst
raite
s
5.R
affin
emen
teti
mpl
émen
tatio
n Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
2/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Par
ticu
lari
tés
du
log
icie
l
�
prod
uiti
ntel
lect
uel
�
coût
defa
bric
atio
nnu
l
�
conc
eptio
nco
mpl
exe
�
logi
ciel
pour
lasé
curit
é
�
pas
d’us
ure
�
dupl
icat
ion
àco
ûtnu
l
�
fonc
tionn
alité
sco
mpl
exes
�
rapi
dité
,réa
ctiv
ité
�
coût
Val
idat
ion/
Vér
ifica
tion
élev
éE
cole
des
Jeun
esC
herc
heur
sen
Pro
gram
mat
ion
-m
ai20
03–
p.3/
76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Co
ntr
ain
tes
�
Fia
bilit
é(t
rans
port
ferr
ovia
ire)
:
�
Sys
tèm
e:
��
��
pann
espa
rra
me/
heur
e
�
Logi
ciel
:
��
��
�
pann
espa
rra
me/
heur
e
�
non
vérifi
able
par
expé
rimen
tatio
n
�
Coû
tdu
déve
lopp
emen
t(aé
rosp
acia
le)
:
��
�les
fonc
tionn
alité
sem
barq
uées
��
�l’
effo
rtde
prod
uctio
nde
code
�
maî
tris
edu
proc
essu
s
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
4/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Sys
tèm
escr
itiq
ues
�
Inté
rêtl
imité
dela
redo
ndan
ce
�
doub
ledé
velo
ppem
ent
�
doub
lesu
ppor
tmat
érie
l
�
abse
nce
dem
ode
d’er
reur
com
mun
�
Pas
depr
inci
pede
sécu
rité
intr
insè
que
�
pann
e
��
état
dang
ereu
x
�
syst
ème
disc
ret
�
Ver
sde
ste
chni
ques
form
elle
s
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
5/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Le
ferr
ovia
ire
etB
Logi
ciel
pour
les
fonc
tions
criti
ques
desé
curit
é(fi
n80
)
1)dé
velo
ppem
entn
onre
dond
éav
ecva
lidat
ion
àl’a
ide
dem
étho
des
form
elle
s
�
corr
ectio
ndu
code
vis-
a-vi
sde
ssp
écifi
catio
nsfo
ntio
nnel
les
2)ut
ilisa
tion
dela
tech
niqu
edu
Pro
cess
eur
Séc
urita
ireC
odé
pour
ladé
tect
ion
des
pann
esm
atér
ielle
s
�
coda
gede
sdo
nnée
set
vérifi
catio
nà
l’exé
cutio
n
�
etat
sûr
sino
nco
nfor
mité
àl’e
xécu
tion
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
6/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Le
ferr
ovia
ire
etB
...su
ite
1.vé
rifica
tion
apo
ster
iori
:
�
ajou
td’a
sser
tions
dans
leco
de
�
vérifi
catio
nse
mi-a
utom
atiq
ue
2.lie
nav
ecla
spéc
ifica
tion
:
�
réex
pres
sion
form
elle
�
conf
orm
ité(m
anue
lle)
duco
de
�
Mét
hode
B(J
-RA
bria
l)
�
déve
lopp
emen
tcor
rect
par
cons
truc
tion
Mét
éor
:B
+P
SC
�
supp
ress
ion
des
test
sun
itaire
s
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
7/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Mét
ho
de
B
�
écrit
ure
desp
écifi
catio
nsà
état
�
form
alis
atio
nrig
oure
use
mai
sac
cess
ible
�
preu
vede
prop
riété
ssu
rle
sdo
nnée
s
�
raffi
nem
ente
tgén
érat
ion
deco
de
�
repr
ésen
tatio
nin
form
atiq
uede
sdo
nnée
s
�
intr
oduc
tion
prog
ress
ive
dela
com
plex
ité
�
cons
truc
tion
incr
émen
tale
�
des
spéc
ifica
tions
,des
déve
lopp
emen
tset
des
preu
ves
�
mét
hodo
logi
eet
outil
lage
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
8/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Sp
écifi
cati
on
Une
mac
hine
abst
raite
:
�
unét
at
�
une
initi
alis
atio
n
�
des
opér
atio
ns
�
des
prop
riété
sin
varia
ntes
Don
nées
ense
mbl
esin
itial
isat
ion
opér
atio
nssu
bstit
utio
nsgé
néra
lisée
spr
oprié
tés
préd
icat
sdu
prem
ier
ordr
e
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
9/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Vér
ifica
tio
n
Obl
igat
ions
depr
euve
:
�
Les
prop
riété
sin
varia
ntes
sont
vérifi
ées
par
lady
nam
ique
�
Les
raffi
nem
ents
prés
erve
ntla
corr
ectio
nto
tale
�
Leco
dees
texe
mpt
d’er
reur
àl’e
xécu
tion
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
10/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
L’at
elie
rB
(Cle
arS
y)
�
Ana
lyse
ur
�
Gén
érat
eur
d’ob
ligat
ions
depr
euve
�
Dém
onst
rate
urau
tom
atiq
ue
�
Dém
onst
rate
urin
tera
ctif
�
Gén
érat
eur
deco
de(C
etA
da)
�
Ges
tionn
aire
depr
ojet
s
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
11/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Par
tie
2:
Mo
dél
isat
ion
1.In
trod
uctio
nà
lam
étho
deB
2.F
orm
alis
me
dem
odél
isat
ion
3.S
péci
ficat
ion
des
opér
atio
ns:
subs
titut
ions
4.Le
sm
achi
nes
abst
raite
s
5.R
affin
emen
teti
mpl
émen
tatio
n Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
12/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Bas
esd
ufo
rmal
ism
elo
giq
ue
:P
réd
icat
s
�
Logi
que
dupr
emie
ror
dre
:
��
�,
��
�,
��
���
�
quan
tifica
tion
��
� ��
subs
titut
ion
dans
unpr
édic
at
�
Pré
dica
tsde
base
:
�
�
appa
rten
ance
� �
� �
égal
ité
�
Les
autr
esco
nstr
ucte
urs
sont
dériv
és:
��
�,
���
�,
��
�,et
c.
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
13/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Bas
esd
ela
mo
dél
isat
ion
:E
xpre
ssio
ns
etE
nse
mb
les
�
Les
ense
mbl
es(t
ypés
):
� ��
� �
prod
uit
� �� �
ense
mbl
ede
spa
rtie
s
�� �
� �
ense
mbl
een
com
préh
ensi
on
���
unen
sem
ble
infin
i
�
Les
expr
essi
ons
:
�
varia
ble
��
� � �� �
subs
titut
ion
dans
une
expr
essi
on
�� � �
� � �
paire
d’ex
pres
sion
s
� !" �#
�� �
fonc
tion
dech
oix
�
ense
mbl
e
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
14/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Qu
elq
ues
no
tati
on
s
Lasu
bstit
utio
n:
��
� ��
les
occu
rren
ces
libre
sde
�son
trem
plac
ées
par
�dan
s
�.
Aut
reno
tatio
n:
� ��
quis
igni
fie:
�n’e
stpa
slib
reda
ns
�.
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
15/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Axi
om
esd
eb
ase
Axi
ome
SE
T1
�� �
� �
��
��
�
��
�
�
SE
T2
�
� �� ��
���
��
�
��
� �
SE
T3
�
�� �
�
��
� ��
��
�
��
�
� �
� �
SE
T4
���
��
�
��
� �
��
�
SE
T5
���
��
� �
��
!" �#�� �
�
SE
T6
"�
��"
�#�
��� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
16/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Co
nst
ruct
ion
sd
ériv
ées
Les
autr
esop
érat
eurs
etno
tatio
nssu
rle
sen
sem
bles
sont
dériv
ésdu
jeu
deba
sedo
nné.
Les
prop
riété
sus
uelle
ssu
rce
sop
érat
eurs
peuv
entê
tre
dém
ontr
ées
àpa
rtir
des
axio
mes
.E
xem
ples
:
��
��
� �� �
��
��
��
�
��
��
�
��
� �
��
��
��
��
��
��
��
�
��
��
�
��
� �
��
��
��
��
��
��
��
�
��
��
�
��
� � �
��
��
��
��
�� �
��
��
�
��
� �
�
�
�� �
� ��
� ��
�� �
�
��
�
�
���
��
���
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
17/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Co
nst
ruct
ion
des
rela
tio
ns
Rel
atio
nen
tre
deux
ense
mbl
es
��
��
� ���
� �
Opé
rate
urs
clas
siqu
essu
rle
sre
latio
ns:
Con
ditio
nE
xpre
ssio
nD
éfini
tion
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
18/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Co
nst
ruct
ion
des
rela
tio
ns
Rel
atio
nen
tre
deux
ense
mbl
es
��
��
� ���
� �
Opé
rate
urs
clas
siqu
essu
rle
sre
latio
ns:
Con
ditio
nE
xpre
ssio
nD
éfini
tion
�
��
��
!� �� �
�� �
�
��
���
��
�
��
� �� �
� �
�
�
��
�� �
� �� ��
� ��
�
�
���
��
�
��
� �� �
� �
�
�
��
�� �
� ��
� ��
�
�
��
��
���
��
�
��
� �� �
� �
�
�
��
��
� ���
��� �
��
��� �
�
��
��
� �� �
� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
18/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Au
tres
op
érat
eurs
sur
les
rela
tio
ns
Con
ditio
nE
xpr
Défi
nitio
n
"� �� �
�� �
� ��
� �� �
�
��
��
� �
� �
��
��
� ��
� ��
� �� �
�� �
� �
��
��
� �
��
��
���
�
��
�� �
� �
� ��
���
� �
� � ��
�
��
��
��
�
� �� �
�� �
� �
��
��
��
���
�� �
� �
��
��
�!
� � ��
��
� �� �
�
�
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
19/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Co
nst
ruct
ion
des
fon
ctio
ns
Les
fonc
tions
sont
unca
spa
rtic
ulie
rde
rela
tions
:
Sig
nific
atio
nN
otat
ion
Défi
nitio
n
f.pa
rtie
lles
����
��
� ��
�
��
�
�� �
����
�� �
�
��
� ��
�
��
� �
�
f.to
tale
s
��
���
��
�
���
��
�!
� �� �
� �
inje
ctiv
espa
rt.
���
���
��
�
���
��
�� �
�
���
� �
inje
ctiv
esto
t.
��
��
��
��
��
�
eval
uatio
n
� �� �
� !" �#
�� �
�� ��
�
si
�
����
��
�
�!
� �� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
20/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Co
nst
ruct
ion
des
ense
mb
les
ind
uct
ifs
Com
men
tdéfi
nir
les
ense
mbl
este
lsqu
e:
�
les
entie
rsna
ture
ls
�
�
les
part
ies
finie
sd’
unen
sem
ble
� �� �
�
lafe
rmet
ure
réfle
xive
tran
sitiv
ed’
une
rela
tion
��
...t
oute
nre
stan
tdan
sla
“syn
taxe
”B
...
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
21/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Défi
nit
ion
par
récu
rren
ce
On
disp
ose
d’un
sché
ma
d’in
duct
ion
pour
cara
ctér
iser
unso
us-e
nsem
ble
�de
�:
�
unél
émen
tde
base
�
�
�
une
règl
e
�
��
� �� �
�
�
une
clau
sede
ferm
etur
e:
�
estl
epl
uspe
titso
us-e
nsem
ble
de
�fini
men
teng
endr
épa
rla
règl
eà
part
irde
laba
se.
Soi
tte
lque
Lafo
nctio
nes
tmon
oton
e:
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
22/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Défi
nit
ion
par
récu
rren
ce
On
disp
ose
d’un
sché
ma
d’in
duct
ion
pour
cara
ctér
iser
unso
us-e
nsem
ble
�de
�:
�
unél
émen
tde
base
�
�
�
une
règl
e
�
��
� �� �
�
�
une
clau
sede
ferm
etur
e:
�
estl
epl
uspe
titso
us-e
nsem
ble
de
�fini
men
teng
endr
épa
rla
règl
eà
part
irde
laba
se.
Soi
t
�tel
que
�
��
��
��
�� �
� �
Lafo
nctio
n
�est
mon
oton
e:
��
��
��
���
� ��
���
� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
22/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Plu
sp
etit
po
int
fixe
D’a
près
leth
éorè
me
deTa
rski
:
Lapl
uspe
tite
solu
tion
de
�
��
��e
stle
plus
petit
poin
tfixe
de
�,qu
ies
tdéfi
nipa
r:
�� �
� � "
� �#� � �
��
�
� �� ��
��� �
��
��
avec
:si
alor
s
c’es
t-à-
dire
l’ens
embl
ees
tcon
tenu
dans
tous
les
sous
-ens
embl
esde
.
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
23/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Plu
sp
etit
po
int
fixe
D’a
près
leth
éorè
me
deTa
rski
:
Lapl
uspe
tite
solu
tion
de
�
��
��e
stle
plus
petit
poin
tfixe
de
�,qu
ies
tdéfi
nipa
r:
�� �
� � "
� �#� � �
��
�
� �� ��
��� �
��
��
avec
:si
�
� � �� �� ��
alor
s
"� �#
� �� �
�
� ��
�
�� ��
��
�
��
� �
�
c’es
t-à-
dire
l’ens
embl
e
"� �#
� �� �e
stco
nten
uda
nsto
usle
sso
us-e
nsem
bles
de
�.
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
23/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
le:
défi
nit
ion
de
��
On
aun
ere
latio
n
�
��
�
��
estr
éflex
ive
"� �� �
���
elle
cont
ient
�
etes
tfer
mée
par
com
posi
tion
��
���
���
� ��
��
Lafo
nctio
n
�de
géné
ratio
nde
��
est:
�
��
�"
� �� ��
���
� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
24/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Les
ense
mb
les
uti
lisab
les
dir
ecte
men
ten
B
Not
atio
nsd’
ense
mbl
espr
édéfi
nis
enB
avec
,pou
rch
acun
,un
jeu
d’op
érat
eurs
usue
ls.
Ce
sont
:
�
les
ense
mbl
esdo
nnés
:ce
sont
des
ense
mbl
esin
finis
,non
vide
s
�
les
ense
mbl
esfin
isén
umér
és
�
les
entie
rsre
latif
s
�
(ave
cle
sso
us-e
nsem
bles
�et
� �)
�
les
séqu
ence
s(f
onct
ions
de
���
��
�)
�
les
arbr
esn-
aire
s(a
vec
leso
us-e
nsem
ble
des
arbr
esbi
naire
s)
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
25/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
rcic
ed
em
od
élis
atio
nen
sem
blis
te
Soi
tun
ense
mbl
e
��
���
��
��
��
��
��
�� :
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Voi
rla
solu
tion
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
26/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
rcic
ed
em
od
élis
atio
nen
sem
blis
te(s
uit
e)
Al’a
ide
des
défin
ition
spr
écéd
ente
s,dé
finir
les
notio
nsde
:
R7
:pè
re
R8
:pa
rent
R9
:en
fant
R10
:gr
and-
pare
ntet
ancê
tre
R11
:fr
ère-
sœur
R12
:D
émon
trer
��
��
��
���
��
�� �
Voi
rla
solu
tion
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
27/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
��
���
�
��
��
��
��
�
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
��
���
�
��
��
��
��
�
R4
:le
sfe
mm
eson
tau
plus
unm
ari
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
��
���
�
��
��
��
��
�
R4
:le
sfe
mm
eson
tau
plus
unm
ari
��
���
�
��
����
��
��
�
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
��
���
�
��
��
��
��
�
R4
:le
sfe
mm
eson
tau
plus
unm
ari
��
���
�
��
����
��
��
�
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
��
���
�
��
��
��
��
�
R4
:le
sfe
mm
eson
tau
plus
unm
ari
��
���
�
��
����
��
��
�
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
��
���
��
��
��
����
�
��
�
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
��
���
�
��
��
��
��
�
R4
:le
sfe
mm
eson
tau
plus
unm
ari
��
���
�
��
����
��
��
�
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
��
���
��
��
��
����
�
��
�
��
���
�
��
���
��
��
�
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
��
���
�
��
��
��
��
�
R4
:le
sfe
mm
eson
tau
plus
unm
ari
��
���
�
��
����
��
��
�
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
��
���
��
��
��
����
�
��
�
��
���
�
��
���
��
��
�
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s
Ret
our
Sol
utio
n:
R1
:to
ute
pers
onne
ests
oitu
nho
mm
e,so
itun
efe
mm
e
��
��
��
��
��
��
��
�
��
��
��
��
��
��
��
��
�
�
��
��
��
��
��
��
R2
:un
epe
rson
nene
peut
être
àla
fois
unho
mm
eet
une
fem
me
��
��
��
�
��
��
�
R3
:se
ules
les
fem
mes
peuv
enta
voir
unm
ariq
uies
tun
hom
me
��
���
�
��
��
��
��
�
R4
:le
sfe
mm
eson
tau
plus
unm
ari
��
���
�
��
����
��
��
�
R5
:le
sho
mm
esne
peuv
entê
tre
mar
iés
qu’à
aupl
usun
efe
mm
e
��
���
��
��
��
����
�
��
�
��
���
�
��
���
��
��
�
R6
:le
sm
ères
d’un
epe
rson
neso
ntde
sfe
mm
esm
arié
es
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
28/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
R8
:pa
rent
R9
:en
fant
R10
:gr
and-
pare
ntet
ancê
tre
_
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
R8
:pa
rent
R9
:en
fant
R10
:gr
and-
pare
ntet
ancê
tre
_
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
R9
:en
fant
R10
:gr
and-
pare
ntet
ancê
tre
_
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
R9
:en
fant
R10
:gr
and-
pare
ntet
ancê
tre
_
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
R10
:gr
and-
pare
ntet
ancê
tre
_
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
R10
:gr
and-
pare
ntet
ancê
tre
_
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
��
�
���
��
��
���
�
R10
:gr
and-
pare
ntet
ancê
tre
_
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
��
�
���
��
��
���
�
R10
:gr
and-
pare
ntet
ancê
tre
_
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
��
�
���
��
��
���
�
R10
:gr
and-
pare
ntet
ancê
tre
��
��
�_
��
��
���
��
��
���
��
��
��
��
���
��
��
��
���
��
��
���
�
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
��
�
���
��
��
���
�
R10
:gr
and-
pare
ntet
ancê
tre
��
��
�_
��
��
���
��
��
���
��
��
��
��
���
��
��
��
���
��
��
���
�
R11
:fr
ère-
sœur
_
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
��
�
���
��
��
���
�
R10
:gr
and-
pare
ntet
ancê
tre
��
��
�_
��
��
���
��
��
���
��
��
��
��
���
��
��
��
���
��
��
���
�
R11
:fr
ère-
sœur
�
��
�_
��
���
��
��
��
��
��
��
��
��
� ��
��
��
��
� �
R12
:D
émon
trer
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
��
�
���
��
��
���
�
R10
:gr
and-
pare
ntet
ancê
tre
��
��
�_
��
��
���
��
��
���
��
��
��
��
���
��
��
��
���
��
��
���
�
R11
:fr
ère-
sœur
�
��
�_
��
���
��
��
��
��
��
��
��
��
� ��
��
��
��
� �
R12
:D
émon
trer
��
��
��
��
��
��
���
�
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
So
luti
on
des
exer
cice
s(s
uit
e)
Sol
utio
n:
R7
:pè
re
��
��
��
��
��
��
��
R8
:pa
rent
��
��
���
��
��
�
��
�
R9
:en
fant
��
�
���
��
��
���
�
R10
:gr
and-
pare
ntet
ancê
tre
��
��
�_
��
��
���
��
��
���
��
��
��
��
���
��
��
��
���
��
��
���
�
R11
:fr
ère-
sœur
�
��
�_
��
���
��
��
��
��
��
��
��
��
� ��
��
��
��
� �
R12
:D
émon
trer
��
��
��
��
��
��
���
�
��
��
��
���
��
��
��
��
��
���
��
��
���
�
��
��
��
��
���
��
���
��
�
��
��
��
�� �
��
��
��
����
��
��
�
Ret
our
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
29/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Par
tie
3:
Les
sub
stit
uti
on
sg
énér
alis
ées
1.In
trod
uctio
nà
lam
étho
deB
2.F
orm
alis
me
dem
odél
isat
ion
3.S
péci
ficat
ion
des
opér
atio
ns:
subs
titut
ions
4.Le
sm
achi
nes
abst
raite
s
5.R
affin
emen
teti
mpl
émen
tatio
n Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
30/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
No
tati
on
mat
hém
atiq
ue
des
“su
bst
itu
tio
ns”
pri
mit
ives
�
�
subs
titut
ion
sim
ple
� ��
� �
�
subs
titut
ion
mul
tiple
sim
ple
��"
�
subs
titut
ion
sans
effe
t
� ��
subs
titut
ion
préc
ondi
tionn
ée
�
��
subs
titut
ion
gard
ée
���
�
subs
titut
ion
dech
oix
born
é
���
�
subs
titut
ion
dech
oix
non
born
é
� ��
séqu
ence
men
tde
subs
titut
ions
��
� �� �
� �� �
subs
titut
ion
d’ité
ratio
n
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
31/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Sp
écifi
cati
on
des
inst
ruct
ion
s
�
Logi
que
des
prog
ram
mes
:co
rrec
tion
part
ielle
� �� �
�
Sil
’éta
tsat
isfa
it
� ava
nt
�ets
i
�term
ine,
alor
sl’é
tats
atis
fait
�apr
ès.
Plu
sfa
ible
préc
ondi
tion
:co
rrec
tion
tota
le
Sil
’éta
tsat
isfa
itav
ant
alor
ste
rmin
eet
l’éta
tsat
isfa
itap
rès.
Rem
arqu
e:
enco
rrec
tion
tota
lees
téqu
ival
entà
En
B,l
apl
usfa
ible
préc
ondi
tion
estn
otée
sous
lafo
rme
d’un
esu
bstit
utio
n
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
32/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Sp
écifi
cati
on
des
inst
ruct
ion
s
�
Logi
que
des
prog
ram
mes
:co
rrec
tion
part
ielle
� �� �
�
Sil
’éta
tsat
isfa
it
� ava
nt
�ets
i
�term
ine,
alor
sl’é
tats
atis
fait
�apr
ès.
�
Plu
sfa
ible
préc
ondi
tion
:co
rrec
tion
tota
le
�� �
� �� �
Sil
’éta
tsat
isfa
it
�� �
� �� �ava
nt
�
alor
s
�ter
min
eet
l’éta
tsat
isfa
it
�apr
ès.
Rem
arqu
e:
� �� �
�en
corr
ectio
nto
tale
esté
quiv
alen
tà
��
�� �
� �� �
En
B,l
apl
usfa
ible
préc
ondi
tion
estn
otée
sous
lafo
rme
d’un
esu
bstit
utio
n
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
32/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Sp
écifi
cati
on
des
inst
ruct
ion
s
�
Logi
que
des
prog
ram
mes
:co
rrec
tion
part
ielle
� �� �
�
Sil
’éta
tsat
isfa
it
� ava
nt
�ets
i
�term
ine,
alor
sl’é
tats
atis
fait
�apr
ès.
�
Plu
sfa
ible
préc
ondi
tion
:co
rrec
tion
tota
le
�� �
� �� �
Sil
’éta
tsat
isfa
it
�� �
� �� �ava
nt
�
alor
s
�ter
min
eet
l’éta
tsat
isfa
it
�apr
ès.
Rem
arqu
e:
� �� �
�en
corr
ectio
nto
tale
esté
quiv
alen
tà
��
�� �
� �� �
�
En
B,l
apl
usfa
ible
préc
ondi
tion
�� �
� �� �e
stno
tée
sous
lafo
rme
d’un
esu
bstit
utio
n
�� �
�
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
32/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Plu
sfa
ible
pré
con
dit
ion
des
sub
stit
uti
on
sp
rim
itiv
es
Cas
desu
bstit
utio
nR
éduc
tion
Con
ditio
n
��
� ��
��
� ��
�� �
�
� �� �
���
� ���
� ���
� �
�� �
� �� �
�
���"
� ��
�
�� �
� ��
��
�� �
�
��
�
� ��
��
�� �
�
��
��� �
��
� ��
��
� ��
��
��� �
����
�� �
�� �
�
�� �
� ��
�� �
� �� �
� �
Exe
mpl
ede
calc
ulE
cole
des
Jeun
esC
herc
heur
sen
Pro
gram
mat
ion
-m
ai20
03–
p.33
/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Le
lan
gag
ed
essu
bst
itu
tio
ns
gén
éral
isée
s
Dan
sle
spr
ogra
mm
esB
,les
subs
titut
ions
s’éc
riven
tave
cde
sm
ots-
clés
:
Sub
stitu
tion
Not
atio
n
� ��
PR
E
�TH
EN
�EN
D
�
��
SE
LE
CT
� TH
EN
�EN
D
���
�
CH
OIC
E
�OR
� EN
D
���
�
VA
R
�IN
�EN
D
��
� �� �
� �� �
WH
ILE
� DO
�IN
VA
RIA
NT
�VA
RIA
NT
�EN
D
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
34/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Le
lan
gag
ed
essu
bst
itu
tio
ns
gén
éral
isée
s(s
uit
e)
�
� ��
�
�� �
�
� ��
BE
GIN
�EN
D
�� �
IF
�TH
EN
�EL
SE
�EN
D
��
�
� ���
��
�
�� �
CH
OIC
E
�OR
��
��
OR
�EN
D
���
���
���
���
AN
Y
�WH
ER
E
�TH
EN
�EN
D
���
��
�
� �
LE
T
� ���
��
�BE
AN
Y
� ���
��
�WH
ER
E
�
���
��
��
�
�
���
��
��
�
IN
�EN
DT
HE
N
�EN
D
Exe
mpl
ede
calc
ul
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
35/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Le
lan
gag
ed
essu
bst
itu
tio
ns
gén
éral
isée
s(s
uit
e)
�
�
AN
Y
��
WH
ER
E
��
�TH
EN
�
��
EN
D
�
�
!!�
��� �
�
IF
� TH
EN
��
�� E
LS
E
�
�
� EN
D
� �� �
��
��
��� �
� ��
Exe
mpl
ede
calc
ul
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
36/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
led
eca
lcu
lde
plu
sfa
ible
pré
con
dit
ion
�
�IF
� TH
EN
�EL
SE
� EN
D
��
���
�
� ���
��
�
�� � �
�
défin
ition
IF
��
�
� ��
��
��
�
� ��
défin
ition
wp
��
��
� �� �
��
��
��
� �� �
AN
YW
HE
RE
TH
EN
EN
Ddé
finiti
on
défin
ition
wp
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
37/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
led
eca
lcu
lde
plu
sfa
ible
pré
con
dit
ion
�
�IF
� TH
EN
�EL
SE
� EN
D
��
���
�
� ���
��
�
�� � �
�
défin
ition
IF
��
�
� ��
��
��
�
� ��
défin
ition
wp
��
��
� �� �
��
��
��
� �� �
�
��
� ��
�AN
Y
��
WH
ER
E
��
�TH
EN
�
��
EN
D
��
défin
ition
���
��
��
��
��
�� �� �
défin
ition
wp
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
37/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
les
de
mo
dél
isat
ion
:p
rése
nta
tio
nd
up
rob
lèm
e
Pro
blèm
e:
On
veut
spéc
ifier
une
opér
atio
nqu
iallo
ueun
mot
dans
une
mém
oire
etre
tour
nel’a
dres
sede
l’em
plac
emen
tallo
ué,s
’ily
ade
lapl
ace
enm
émoi
re.
Que
lque
spr
élim
inai
res
dem
odél
isat
ion
:
��
��
��
��
ense
mbl
eab
stra
itd’
adre
sses
��
��
���
��
��
��
��
les
adre
sses
dela
mém
oire
àal
loue
r
��
���
��
��
���
l’ens
embl
ede
sad
ress
eslib
res
���
�
��
��
��
��
une
adre
sse
part
icul
ière
���
��
��
��
��
l’adr
esse
���
�n’e
stpa
sen
mém
oire
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
38/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
les
de
mo
dél
isat
ion
(1)
Cas
1:
L’op
érat
ion
���
��
��n
epe
utag
irqu
es’
ilre
ste
des
adre
sses
libre
s.P
rem
ière
mod
élis
atio
n:
une
préc
ondi
tion
assu
requ
’ilre
ste
dela
plac
e.
��
���
��
��
�
entê
tede
l’opé
ratio
nP
RE
��
���
��T
HE
Npr
écon
ditio
nA
NY
�
WH
ER
E
�
��
���
choi
xd’
une
adre
sse
libre
TH
EN �
���
�
�
���
��
��
���
mod
ifica
tion
del’é
tat
�
�
reto
urde
l’adr
esse
allo
uée
EN
D
EN
D
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
39/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
les
de
mo
dél
isat
ion
(1)
suit
e
Cas
1:
Dan
sla
mét
hode
B,l
orsq
u’on
appe
lleun
eop
érat
ion,
ily
aun
eob
ligat
ion
depr
euve
quip
erm
etd’
assu
rer
que
lapr
écon
ditio
nes
tvé
rifiée
àl’a
ppel
.
D’u
npo
intd
em
étho
dede
spéc
ifica
tion,
ilfa
ut,d
ans
ceca
s,fo
urni
rà
l’util
isat
eur
des
opér
atio
nspo
urte
ster
del’e
xtér
ieur
qu’u
nepr
écon
ditio
nes
tvér
ifiée
.O
nau
raic
i:
��
��_
���_
��
�_
���
��
�
�!
!���
���
��
� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
40/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
les
de
mo
dél
isat
ion
(2)
Cas
2:
Aut
rem
aniè
rede
spéc
ifier
:l’u
tilis
ateu
rn’
apa
sà
test
erla
préc
ondi
tion.
Sil
’adr
esse
dere
tour
est
���
�,ce
lasi
gnifi
eà
l’util
isat
eur
que
lam
émoi
rees
tple
ine
etqu
el’a
lloca
tion
n’a
pas
été
poss
ible
��
���
��
��
�
entê
tede
l’opé
ratio
nIF
��
���
��T
HE
Nte
stdy
nam
ique
AN
Y
�
WH
ER
E
�
��
���
choi
xd’
une
adre
sse
libre
TH
EN �
���
�
�
���
��
��
���
mod
ifica
tion
del’é
tat
�
�
reto
urde
l’adr
esse
allo
uée
EN
D
EL
SE
iln’
ya
plus
d’ad
ress
elib
rere
tour
dela
vale
urde
non
allo
catio
nE
ND
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
41/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
les
de
mo
dél
isat
ion
(3)
Cas
3:
On
pour
rait
sim
plem
ents
péci
fier
avec
les
deux
cas
poss
ible
sde
reto
urde
vale
urde
�:
��
���
��
��
�
entê
tede
l’opé
ratio
nC
HO
ICE
choi
xin
tern
eA
NY
�
��
���T
HE
N
��
���
��
���
��
��
��
mod
ifica
tion
del’é
tat
�
�
reto
urde
l’adr
esse
allo
uée
EN
D
OR
autr
epo
ssib
ilité
�
�
���
reto
urde
lava
leur
deno
nal
loca
tion
EN
D
Com
pare
zce
tteso
lutio
nav
ecla
préc
éden
te.
Que
peut
-on
dire
?
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
42/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Car
acté
risa
tio
nd
essu
bst
itu
tio
ns
�
Lela
ngag
ede
ssu
bstit
utio
nsgé
néra
lisée
ses
tcon
çupo
urdé
crire
des
chan
gem
entd
’éta
ts.
�
Ily
aun
egr
ande
varié
téde
subs
titut
ions
.
�
Que
peut
-on
dire
deco
mm
unà
tout
esle
ssu
bstit
utio
ns?
�
Peu
t-on
“rep
rése
nter
”le
ssu
bstit
utio
nspa
rl’e
ffetq
u’el
lepr
odui
sent
com
me
une
rela
tion
entr
ele
sét
ats
?
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
43/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Term
inai
son
d’u
ne
sub
stit
uti
on
Late
rmin
aiso
nes
tun
préd
icat
��� �
� �qui
cara
ctér
ise
late
rmin
aiso
nde
lasu
bstit
utio
n
�.D
éfini
tion
:
��� �
� ��
�� �
��� �
#
Que
lque
sré
sulta
ts:
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
44/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Term
inai
son
d’u
ne
sub
stit
uti
on
Late
rmin
aiso
nes
tun
préd
icat
��� �
� �qui
cara
ctér
ise
late
rmin
aiso
nde
lasu
bstit
utio
n
�.D
éfini
tion
:
��� �
� ��
�� �
��� �
#
Que
lque
sré
sulta
ts:
��� �
�
� �
���
� �#
��� ��
�"� �
���
� �#
��� �
� �� �
��
���
� �� �
��� �
�
�� �
��
���
� �� �
��� �
���
� ��
��� �
� ��
��� �
� �
��� �
���
� ��
�����
� �� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
44/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Pré
dic
atav
ant-
aprè
s
Lepr
édic
atav
ant-
aprè
s
�� � ��
� �don
nela
rela
tion
entr
ele
sva
leur
sav
ante
tapr
èsla
subs
titut
ion
�pou
rle
sva
riabl
es
�.D
éfini
tion
:
�� � ��
� ��
� �� �
���
�� �
si si
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
45/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Pré
dic
atav
ant-
aprè
s
Lepr
édic
atav
ant-
aprè
s
�� � ��
� �don
nela
rela
tion
entr
ele
sva
leur
sav
ante
tapr
èsla
subs
titut
ion
�pou
rle
sva
riabl
es
�.D
éfini
tion
:
�� � ��
� ��
� �� �
���
�� �
�� � ��
�
� �
���
�
�� � � ��
��
� ��
�� ���
� �
�
�� � ���
�"� �
���
�
�� � ��
� �� �
��
��� � �
�� �
�� � ��
�
�� �
��
��� � �
�� �
�� � ��
���
� ��
�� � ��
� ��
�� � ��
� �
�� � ��
���
� ��
���
�� � ��
� �
si
� ���
siE
cole
des
Jeun
esC
herc
heur
sen
Pro
gram
mat
ion
-m
ai20
03–
p.45
/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Fo
rme
no
rmal
isée
Tout
esu
bstit
utio
npe
utse
met
tre
sous
lafo
rme
:
�
��� �
� ��
���
��
�� � ��
� �
��
�� �
Deu
xsu
bstit
utio
nsso
ntég
ales
siel
les
ontl
em
ême
effe
tsur
tout
préd
icat
:
pour
tout
préd
icat
Les
subs
titut
ions
géné
ralis
ées
satis
font
les
prop
riété
s:
Dis
trib
utiv
ité
Mon
oton
ie
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
46/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Fo
rme
no
rmal
isée
Tout
esu
bstit
utio
npe
utse
met
tre
sous
lafo
rme
:
�
��� �
� ��
���
��
�� � ��
� �
��
�� �
Deu
xsu
bstit
utio
nsso
ntég
ales
siel
les
ontl
em
ême
effe
tsur
tout
préd
icat
:
�
��
�� �
��
�� �
�
pour
tout
préd
icat
�
Les
subs
titut
ions
géné
ralis
ées
satis
font
les
prop
riété
s:
Dis
trib
utiv
ité
Mon
oton
ie
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
46/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Fo
rme
no
rmal
isée
Tout
esu
bstit
utio
npe
utse
met
tre
sous
lafo
rme
:
�
��� �
� ��
���
��
�� � ��
� �
��
�� �
Deu
xsu
bstit
utio
nsso
ntég
ales
siel
les
ontl
em
ême
effe
tsur
tout
préd
icat
:
�
��
�� �
��
�� �
�
pour
tout
préd
icat
�
Les
subs
titut
ions
géné
ralis
ées
satis
font
les
prop
riété
s:
�� �
��
�� �
��
� ��
��
� ��
Dis
trib
utiv
ité
���
��
�� �
�� �
� ��
��
� �� �
Mon
oton
ie
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
46/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Qu
elq
ues
autr
esp
rop
riét
és
Pou
rto
ute
subs
titut
ion
géné
ralis
ée
�,on
ale
spr
oprié
tés
suiv
ante
s:
Tota
lité
���
� �� �
��� � �
�� �
Term
inai
son
�� �
��
��� �
� �
Une
subs
titut
ion
gene
ralis
éees
tfai
sabl
es’
ilex
iste
une
vale
urap
rès
asso
ciée
àun
eva
leur
avan
t:
Une
autr
edé
finiti
onde
lafa
isab
ilité
est:
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
47/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Qu
elq
ues
autr
esp
rop
riét
és
Pou
rto
ute
subs
titut
ion
géné
ralis
ée
�,on
ale
spr
oprié
tés
suiv
ante
s:
Tota
lité
���
� �� �
��� � �
�� �
Term
inai
son
�� �
��
��� �
� �
Une
subs
titut
ion
gene
ralis
éees
tfai
sabl
es’
ilex
iste
une
vale
urap
rès
asso
ciée
àun
eva
leur
avan
t:
� � �� �
��
���
�� � ��
� �
Une
autr
edé
finiti
onde
lafa
isab
ilité
est:
� � �� �
��
�� �
�� ��
�#
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
47/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Su
bst
itu
tio
ns
gén
éral
isée
svs
pré
dic
ats
On
avu
que
l’on
peut
pass
erde
ssu
bstit
utio
nsgé
néra
lisée
sau
xpr
édic
ats
avan
t-ap
rès
ette
rmin
aiso
net
vice
-ver
sa.
Pou
rquo
icho
isir
les
SG
pour
spéc
ifier
,plu
tôtq
uele
spr
édic
ats
com
me
enZ
?
�
lest
yle
d’éc
ritur
ees
tplu
spr
oche
dela
prog
ram
mat
ion
�
par
défa
ut,l
esva
riabl
esne
sont
pas
mod
ifiée
s(
��
�)
�
l’util
isat
ion
des
subs
titut
ions
estp
lus
effic
ace
pour
les
preu
ves
:
��
��
�
�
�� �
��
�� �—
>
��
�
avec
les
préd
icat
s:
�� �
��
� �
��
��
� ��
��
���
��
�
Ily
aun
cont
inuu
men
tre
les
spéc
ifica
tions
etle
spr
ogra
mm
esà
l’aid
edu
raffi
nem
ent.
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
48/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Par
tie
4:
Les
mac
hin
esab
stra
ites
1.In
trod
uctio
nà
lam
étho
deB
2.F
orm
alis
me
dem
odél
isat
ion
3.S
péci
ficat
ion
des
opér
atio
ns:
subs
titut
ions
4.C
ompo
sant
sB
:les
mac
hine
sab
stra
ites
5.R
affin
emen
teti
mpl
émen
tatio
n Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
49/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Co
mp
osa
nt
mac
hin
e
MA
CH
INE
Par
tieen
tête
:no
mde
lam
achi
neet
para
mèt
res
cont
rain
tes
sur
les
para
mèt
res
Par
tiest
atiq
ue:
décl
arat
ion
d’en
sem
bles
etde
cons
tant
espr
oprié
tés
des
cons
tant
esva
riabl
es(é
tat)
inva
riant
(car
acté
risat
ion
del’é
tat)
Par
tiedy
nam
ique
:in
itial
isat
ion
del’é
tat
opér
atio
nsE
ND
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
50/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ru
bri
qu
esd
’un
em
ach
ine
MA
CH
INE
� �� �
� �
CO
NS
TR
AIN
TS
�
/*sp
écifi
catio
nde
spa
ram
ètre
s*/
SE
TS
�;/*
ense
mbl
esdo
nnés
*/
�
�� �
��
/*en
sem
bles
énum
érés
*/C
ON
STA
NT
S
�
/*lis
tede
cons
tant
es(c
oncr
ètes
)*/
PR
OP
ER
TIE
S
�
/*sp
écifi
catio
nde
sco
nsta
ntes
*/V
AR
IAB
LE
S
�
/*lis
tede
varia
bles
(abs
trai
tes)
*/IN
VA
RIA
NT
�
/*sp
écifi
catio
nde
sva
riabl
es*/
INIT
IAL
ISA
TIO
N
�
/*su
bstit
utio
nd’
initi
alis
atio
n*/
OP
ER
AT
ION
S/*
liste
des
opér
atio
ns*/
��
��
��_
�� �
� �=P
RE
� TH
EN
� EN
D;
...
EN
D
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
51/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Déc
lara
tio
nd
’op
érat
ion
�
Une
décl
arat
ion
d’op
érat
ion
estd
ela
form
e:
��
��
� �� �
PR
E
�TH
EN
�EN
D
avec
��
��� �
� �
Voi
rau
ssil
’app
el
Ladé
finiti
ond’
opér
atio
ndo
itsa
tisfa
ire:
(list
ede
nom
sde
para
mèt
res)
neso
ntpa
sm
odifi
ésda
ns
etso
ntdi
sjoi
nts
etdi
stin
cts
des
varia
bles
(list
ede
nom
sde
résu
ltats
)so
ntaf
fect
ésda
nsou
,plu
sfo
rmel
lem
ent,
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
52/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Déc
lara
tio
nd
’op
érat
ion
�
Une
décl
arat
ion
d’op
érat
ion
estd
ela
form
e:
��
��
� �� �
PR
E
�TH
EN
�EN
D
avec
��
��� �
� �
Voi
rau
ssil
’app
el
�
Ladé
finiti
ond’
opér
atio
n
��
��
� �� �
�d
oits
atis
faire
:
(list
ede
nom
sde
para
mèt
res)
neso
ntpa
sm
odifi
ésda
ns
etso
ntdi
sjoi
nts
etdi
stin
cts
des
varia
bles
(list
ede
nom
sde
résu
ltats
)so
ntaf
fect
ésda
nsou
,plu
sfo
rmel
lem
ent,
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
52/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Déc
lara
tio
nd
’op
érat
ion
�
Une
décl
arat
ion
d’op
érat
ion
estd
ela
form
e:
��
��
� �� �
PR
E
�TH
EN
�EN
D
avec
��
��� �
� �
Voi
rau
ssil
’app
el
�
Ladé
finiti
ond’
opér
atio
n
��
��
� �� �
�d
oits
atis
faire
:
��(
liste
deno
ms
depa
ram
ètre
s)ne
sont
pas
mod
ifiés
dans
�
etso
ntdi
sjoi
nts
etdi
stin
cts
des
varia
bles
(list
ede
nom
sde
résu
ltats
)so
ntaf
fect
ésda
nsou
,plu
sfo
rmel
lem
ent,
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
52/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Déc
lara
tio
nd
’op
érat
ion
�
Une
décl
arat
ion
d’op
érat
ion
estd
ela
form
e:
��
��
� �� �
PR
E
�TH
EN
�EN
D
avec
��
��� �
� �
Voi
rau
ssil
’app
el
�
Ladé
finiti
ond’
opér
atio
n
��
��
� �� �
�d
oits
atis
faire
:
��(
liste
deno
ms
depa
ram
ètre
s)ne
sont
pas
mod
ifiés
dans
�
��e
t
�son
tdis
join
tset
dist
inct
sde
sva
riabl
es
�
(list
ede
nom
sde
résu
ltats
)so
ntaf
fect
ésda
nsou
,plu
sfo
rmel
lem
ent,
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
52/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Déc
lara
tio
nd
’op
érat
ion
�
Une
décl
arat
ion
d’op
érat
ion
estd
ela
form
e:
��
��
� �� �
PR
E
�TH
EN
�EN
D
avec
��
��� �
� �
Voi
rau
ssil
’app
el
�
Ladé
finiti
ond’
opér
atio
n
��
��
� �� �
�d
oits
atis
faire
:
��(
liste
deno
ms
depa
ram
ètre
s)ne
sont
pas
mod
ifiés
dans
�
��e
t
�son
tdis
join
tset
dist
inct
sde
sva
riabl
es
�
��(
liste
deno
ms
deré
sulta
ts)
sont
affe
ctés
dans
�
ou,p
lus
form
elle
men
t,
� ��� � � �
��
� � Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
52/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ob
ligat
ion
sd
ep
reu
ves
d’u
ne
mac
hin
e
�
L’in
itial
isat
ion
étab
litl’i
nvar
iant
:
�rep
rése
nte
les
cond
ition
ssu
rle
sen
sem
bles
décl
arés
.
��
��
��
�� �
�
Cha
que
opér
atio
npr
éser
vel’i
nvar
iant
:
Par
lapr
oprié
téde
term
inai
son,
onas
sure
que
term
ine
:
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
53/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ob
ligat
ion
sd
ep
reu
ves
d’u
ne
mac
hin
e
�
L’in
itial
isat
ion
étab
litl’i
nvar
iant
:
�rep
rése
nte
les
cond
ition
ssu
rle
sen
sem
bles
décl
arés
.
��
��
��
�� �
�
�
Cha
que
opér
atio
npr
éser
vel’i
nvar
iant
:
��
��
��
��
��
�� �
�
Par
lapr
oprié
téde
term
inai
son,
onas
sure
que
term
ine
:
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
53/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ob
ligat
ion
sd
ep
reu
ves
d’u
ne
mac
hin
e
�
L’in
itial
isat
ion
étab
litl’i
nvar
iant
:
�rep
rése
nte
les
cond
ition
ssu
rle
sen
sem
bles
décl
arés
.
��
��
��
�� �
�
�
Cha
que
opér
atio
npr
éser
vel’i
nvar
iant
:
��
��
��
��
��
�� �
�
�
Par
lapr
oprié
téde
term
inai
son,
onas
sure
que
� ter
min
e:
��
��
��
��
��
��� �
� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
53/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Asc
ense
ur
On
souh
aite
spéc
ifier
lefo
nctio
nnem
ents
impl
ifié
d’un
asce
nseu
r.
�
une
port
eà
chaq
ueét
age
�
l’app
elin
térie
uret
l’app
elex
térie
urne
sont
pas
dist
ingu
és
�
iln’
ya
pas
depa
nne
�
une
cons
tant
edo
nne
leno
mbr
ed’
étag
es:
��
�_
��
��
�(
��)
Les
opér
atio
nsso
nt:
�
ouvr
ir,fe
rmer
une
port
e
�
appe
ler
l’asc
ense
ur
�
dépl
acem
entd
el’a
scen
seur
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
54/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Pro
pri
étés
de
l’asc
ense
ur
�
l’asc
ense
urre
ste
dans
lalim
itede
sét
ages
�
siun
epo
rte
esto
uver
tel’a
scen
seur
esta
rrêt
éà
l’éta
geco
rres
pond
ant
�
chaq
ueap
pele
sttr
aité
enun
tem
psra
ison
nabl
e
�
sil’a
scen
seur
esta
rrêt
éà
unét
age,
l’app
elà
ceté
tage
est
cons
idér
éco
mm
etr
aité
�
...
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
55/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Mo
dél
isat
ion
de
l’asc
ense
ur
MA
CH
INE
��
��
��
��
�
SE
TS
��
��
�
���
�� �
��
��
�
CO
NS
TAN
TS
��
�_
��
��
� ��
��
��
�
PR
OP
ER
TIE
S
��
�_
��
��
�
�
��
��
��
��
�
����
��_
��
��
�
VA
RIA
BL
ES
��
���
� ��
��
���
�� �
��
� ��
��
�
INV
AR
IAN
T
��
��
���
��
��
��
��
��
��
���
��
��
��
�
��
��
�
��
��
��
��
��
�
��
�
��
��
��
���
��
��
��
��
���
�
��
�� �
��
��
�
���
�� �
��
��
��
�
���
��
��
��
��
���
� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
56/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Par
tie
5:
Raf
fin
emen
tet
imp
lém
enta
tio
n
1.In
trod
uctio
nà
lam
étho
deB
2.F
orm
alis
me
dem
odél
isat
ion
3.S
péci
ficat
ion
des
opér
atio
ns:
subs
titut
ions
4.Le
sm
achi
nes
abst
raite
s
5.R
affin
emen
teti
mpl
émen
tatio
n Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
57/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Raf
fin
emen
t:
pri
nci
pe
�
Lera
ffine
men
test
lefa
itde
tran
sfor
mer
une
spéc
ifica
tion
abst
raite
enun
text
epl
uspr
oche
dela
prog
ram
mat
ion,
pour
final
emen
tob
teni
run
prog
ram
me
�
L’ef
fetd
esap
pels
d’op
érat
ions
dela
mac
hine
abst
raite
doit
être
prés
ervé
,vu
del’u
tilis
ateu
r
�
Lera
ffine
men
tde
mac
hine
sefa
itop
érat
ion
par
opér
atio
n
�
Ily
a(é
vent
uelle
men
t)ra
ffine
men
tde
l’éta
t
�
Pou
rch
aque
opér
atio
n:
�
refo
rmul
atio
nen
fonc
tion
duch
ange
men
td’é
tat
�
affa
iblis
sem
entd
espr
écon
ditio
ns
rédu
ctio
ndu
non-
déte
rmin
ism
e
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
58/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
le:
un
em
ach
ine
àra
ffin
er
MA
CH
INE
��
��_
��
�
VA
RIA
BL
ES
��
INV
AR
IAN
T
��
��
�
�
INIT
IAL
ISA
TIO
N
��
�
OP
ER
AT
ION
S
��
���
�� �
�� �=
PR
E
��
�
�
�
TH
EN
��
�
��
��
��
EN
D;
��
��
��
��=
PR
E
��
��
TH
EN
��
��
EN
D
EN
D
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
59/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Un
em
ach
ine
qu
i“fa
itp
resq
ue
lam
ême
cho
se”
MA
CH
INE
��
��_
��
�
VA
RIA
BL
ES
��
INV
AR
IAN
T
��
�
�
INIT
IAL
ISA
TIO
N
��
�
OP
ER
AT
ION
S
��
���
�� �
�� �=
PR
E
��
�
�
�
TH
EN
��
��
EN
D;
��
��
��
��=
��
��
EN
D
Raf
finem
ent
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
60/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Raf
fin
emen
td
’un
esu
bst
itu
tio
nd
ans
lem
ême
état
Défi
nitio
ndu
raffi
nem
entd
e
�par
� :
��
��
��
� �� �
��
�� �
� �
Si
�pré
serv
el’i
nvar
iant
,alo
rsle
raffi
nem
entl
epr
éser
ve.
Aut
redé
finiti
on:
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
61/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Raf
fin
emen
td
’un
esu
bst
itu
tio
nd
ans
lem
ême
état
Défi
nitio
ndu
raffi
nem
entd
e
�par
� :
��
��
��
� �� �
��
�� �
� �
Si
�pré
serv
el’i
nvar
iant
,alo
rsle
raffi
nem
entl
epr
éser
ve.
Aut
redé
finiti
on:
��� �
� ��
��� �
� �
��
�
��� �
� ��
�� � ��
� ��
�� � ��
� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
61/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Raf
fin
emen
tav
ecch
ang
emen
td
ere
pré
sen
tati
on
:p
rin
cip
e
Dia
gram
me
dura
ffine
men
tent
reun
état
� etu
nét
at
� :
v~ ;
rel(
T)
<: r
el(S
) ; v
~v~
v~v
v
Y’
XX
’
YTS
�
Lare
latio
n
�est
tota
lesu
rle
dom
aine
conc
ret
�.
�
Rel
atio
npa
rpr
édic
at
�:
�
���
� ��
�
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
62/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Raf
fin
emen
tav
ecch
ang
emen
td
ere
pré
sen
tati
on
:fo
rmu
les
��
��� �
� ��
��� �
� �
��
��
��
��� �
� ��
�� � ��
� ��
���
��
�� � ��
� ��
�� �
�
�� ��� �
� �
Aut
refo
rmul
atio
n:
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
63/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Raf
fin
emen
tav
ecch
ang
emen
td
ere
pré
sen
tati
on
:fo
rmu
les
��
��� �
� ��
��� �
� �
��
��
��
��� �
� ��
�� � ��
� ��
���
��
�� � ��
� ��
�� �
�
�� ��� �
� �
Aut
refo
rmul
atio
n:
��
��
��
��� �
� ��
�� �
� �� �
��
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
63/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Raf
fin
emen
td
em
ach
ines
:S
ynta
xe
MA
CH
INE
�
VA
RIA
BL
ES
�
INV
AR
IAN
T
�
INIT
IAL
ISA
TIO
N
�
OP
ER
AT
ION
S
��
��
��_
�� �
� �=P
RE
� TH
EN
� EN
D
EN
D
RE
FIN
EM
EN
T
�
RE
FIN
ES
�
VA
RIA
BL
ES
�
INV
AR
IAN
T
�
INIT
IAL
ISA
TIO
N
�
OP
ER
AT
ION
S
��
��
��_
�� �
� �=P
RE
�TH
EN
� EN
D
EN
D
Mac
hine
asso
ciée
aura
ffine
men
t
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
64/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ob
ligat
ion
de
pre
uve
des
raffi
nem
ents
Initi
alis
atio
n:
�� �
� �� �
��
Obl
igat
ion
depr
euve
pour
chaq
ueop
érat
ion
:
��
��
��
�
��
��
��
�� �
� �� �
��
��
��
��
���
�� �� �
� �� �
� ��
��
�� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
65/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Exe
mp
led
ed
ébu
ten
raffi
nem
ent
RE
FIN
EM
EN
T
��
��_
��
�_
�RE
FIN
ES
��
��_
��
�
VA
RIA
BL
ES
��
INV
AR
IAN
T
��
�
�
��
��
�
��
��
�
��
��
� ��
INIT
IAL
ISA
TIO
N
��
�
OP
ER
AT
ION
S
��
���
�� �
�� �=
PR
E
��
�
�
�
TH
EN
��
��
EN
D;
��
��
��
��=
��
��
EN
D
Mac
hine
initi
ale
Obl
igat
ions
depr
euve
dura
ffine
men
tE
cole
des
Jeun
esC
herc
heur
sen
Pro
gram
mat
ion
-m
ai20
03–
p.66
/76
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
� ��
���
�
(1)
Ele
men
tsde
lapr
euve
de
��
���
��:
(voi
rl’e
xem
ple)
��
��
�
��
���
�
�
��
��
��
��
��
��
��
� ��
��
���
��
��
�
�
��
��
�
��
��
��
��
��
���
��
��
�
�
��
��
�
�
Obl
igat
ion
depr
euve
de:
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
67/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
� ��
���
�
(1)
Ele
men
tsde
lapr
euve
de
��
���
��:
(voi
rl’e
xem
ple)
��
��
�
��
���
�
�
��
��
��
��
��
��
��
� ��
��
���
��
��
�
�
��
��
�
��
��
��
��
��
���
��
��
�
�
��
��
�
�
Obl
igat
ion
depr
euve
de
��
���
��:
��
��
�
��
�
��
�
��
���
�
��
���
�
��
�
� ���
�
��
�
�
��
�
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
67/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
� ��
���
�
(2)
��
��
��
�
�
��
���
�
� �� �
��
�
��
��
���
��
��
�
�
��
��
�
��
��
�
��
��
� ��
�
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
68/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
� ��
���
�
(2)
��
��
��
�
�
��
���
�
� �� �
��
�
��
��
���
��
��
�
�
��
��
�
��
��
�
��
��
� ��
�
��
��
��
�
�
��
���
�
� ��
��
��
�
�
��
��
�
��
��
��
��
��
�
��
��
��
��
�
� ����
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
68/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
� ��
���
�
(2)
��
��
��
�
�
��
���
�
� �� �
��
�
��
��
���
��
��
�
�
��
��
�
��
��
�
��
��
� ��
�
��
��
��
�
�
��
���
�
� ��
��
��
�
�
��
��
�
��
��
��
��
��
�
��
��
��
��
�
� ����
��
��
��
�
�
��
��
�
�
��
��
�
��
��
���
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
68/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
��
���(
1)
Ele
men
tsde
lapr
euve
de
��
��
(voi
rl’e
xem
ple)
:
��
��
�
��
���
�
�
��
��
��
��
��
��
��
� ��
��
��
��
��
��
��
��
��
��
��
��
�
�
Mai
sl’é
tatn
’est
pas
mod
ifié.
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
69/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
��
���(
1)
Ele
men
tsde
lapr
euve
de
��
��
(voi
rl’e
xem
ple)
:
��
��
�
��
���
�
�
��
��
��
��
��
��
��
� ��
��
��
��
��
��
��
��
��
��
��
��
�
�
��
��
��
���
��
� �� ��
��
�� �
��
��
��
�
���
��
Mai
sl’é
tatn
’est
pas
mod
ifié.
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
69/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
��
���(
1)
Ele
men
tsde
lapr
euve
de
��
��
(voi
rl’e
xem
ple)
:
��
��
�
��
���
�
�
��
��
��
��
��
��
��
� ��
��
��
��
��
��
��
��
��
��
��
��
�
�
��
��
��
���
��
� �� ��
��
�� �
��
��
��
�
���
��
Mai
sl’é
tatn
’est
pas
mod
ifié.
��
��
��
��
�
����
�� �
� ���
�� �
��
��
�
�
��
��
�
��
��
�
��
��
� ��
��
�
��� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
69/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
��
���(
2)
��
��
��
��
�
����
�� �
� ��
��
��
��
��
�
�
��
�
�
�� � �
��
��
�
�� �
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
70/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
��
���(
2)
��
��
��
��
�
����
�� �
� ��
��
��
��
��
�
�
��
�
�
�� � �
��
��
�
�� �
��
��
��
��
�
����
�� �
���
��
��
��
�
��
��
��
��
�
�� ��
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
70/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
��
���(
2)
��
��
��
��
�
����
�� �
� ��
��
��
��
��
�
�
��
�
�
�� � �
��
��
�
�� �
��
��
��
��
�
����
�� �
���
��
��
��
�
��
��
��
��
�
�� ��
��
��
��
��
��
��
��
��
��
�
��
��
�
�� ��
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
70/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Ap
plic
atio
nà
l’exe
mp
le:
��
���(
2)
��
��
��
��
�
����
�� �
� ��
��
��
��
��
�
�
��
�
�
�� � �
��
��
�
�� �
��
��
��
��
�
����
�� �
���
��
��
��
�
��
��
��
��
�
�� ��
��
��
��
��
��
��
��
��
��
�
��
��
�
�� ��
��
��
� �
��
�
�
��
��
�
��
��
��
�
��
�
� ���
��
��
�
��
�
�
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
70/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Mac
hin
eab
stra
ite
d’u
nra
ffin
emen
t
MA
CH
INE
�
VA
RIA
BL
ES
�
INV
AR
IAN
T
���
��
�� �
INIT
IAL
ISA
TIO
N
�
OP
ER
AT
ION
S
��
��
��_
�� �
� �=P
RE
��
���
��
��
�� �T
HE
N
� EN
D
EN
D
Mac
hine
etra
ffine
men
t
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
71/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Imp
lém
enta
tio
n(1
)
�
Der
nier
raffi
nem
entd
’un
déve
lopp
emen
t
�
Lang
age
depr
ogra
mm
atio
nsé
quen
tielle
�
Res
tric
tion
sur
les
subs
titut
ions
�
subs
titut
ions
déte
rmin
iste
s(:
=,I
F,C
AS
E,
��"
�,“;
”)
�
subs
titut
ion
VA
R
�
subs
titut
ion
d’ité
ratio
n
�
Res
tric
tion
sur
les
préd
icat
s:
pas
dequ
antifi
cate
urs
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
72/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Imp
lém
enta
tio
n(2
)
�
Res
tric
tions
dety
page
:
�
les
ense
mbl
esde
vale
urs
sont
finis
(ex:
entie
rsre
prés
enta
bles
)
�
cons
tant
eset
varia
bles
sont
dety
pe“c
oncr
et”:
entie
rs,
énum
érés
,ens
embl
esdo
nnés
,tab
leau
x(f
onct
ions
tota
les
àdo
mai
nefin
i)
�
Les
ense
mbl
esdo
nnés
etle
sco
nsta
ntes
sont
valu
és.
�
Les
opér
atio
nsar
ithm
étiq
ues
nedo
iven
tpas
débo
rder
:ob
ligat
ions
depr
euve
sde
bonn
edé
finiti
on
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
73/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Plu
sfa
ible
pré
con
dit
ion
de
l’ité
rati
on
En
corr
ectio
nto
tale
,ilf
auta
ssur
erqu
ela
bouc
lese
term
ine
dans
l’éta
tde
lapo
stco
nditi
on:
��
�� �
� �� �
� � ��
� ��
inva
riant
���
���
�� �
��
� �� �
�
prés
erva
tion
del’i
nvar
iant
���
��
��
� �
�
varia
nt
���
���
�� �
��
�
� ��
� ���
�� ��
�
décr
oiss
ance
duva
riant
���
���
��
� ��
� �
sort
iede
bouc
le
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
74/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Pro
gra
mm
ed
ela
div
isio
nen
tièr
e
MA
CH
INE
��
���
��
�
OP
ER
AT
ION
S/*
et
��
sont
lequ
otie
ntet
lere
ste
*/
�
���
��
��
�� �
�� �
/*de
ladi
visi
onen
tière
de
��p
ar
��*
/P
RE
��
�
�
��
�
�
��
TH
EN A
NY
���
��
WH
ER
E
��
�
��
��
�
��
��
�
��
���
���
���
��
TH
EN
���
���
��
EN
D
EN
D
EN
D
Eco
lede
sJe
unes
Che
rche
urs
enP
rogr
amm
atio
n-
mai
2003
–p.
75/7
6
�
Intr
o
�
Don
nees
�
Sub
sG
�
Mac
hine
�
Raf
fin
Imp
lém
enta
tio
nd
ela
div
isio
nen
tièr
e
IMP
LE
ME
NTA
TIO
N
��
���
��
�_
�RE
FIN
ES
��
���
��
�
OP
ER
AT
ION
S
�
���
��
�
��
� ��
� �
VA
R
���
��
IN/*
varia
bles
loca
les
auxi
liaire
s*/
��
�
�
/*in
itial
isat
ions
*/
��
�
��
WH
ILE
���
��D
O
��
��
��
�
/*co
rps
dela
bouc
le*/
��
��
��
�
INV
AR
IAN
T/*
cond
ition
sin
varia
ntes
*/
��
�
VA
RIA
NT
/*va
leur
entiè
requ
idéc
roît
*/
��
�
EN
D
�
���
��
��
/*re
tour
duré
sulta
t*/
EN
D
EN
DE
cole
des
Jeun
esC
herc
heur
sen
Pro
gram
mat
ion
-m
ai20
03–
p.76
/76