• Aucun résultat trouvé

Enrichissement d'ontologies : maintenance de la consistance et évaluation de la qualité.

N/A
N/A
Protected

Academic year: 2021

Partager "Enrichissement d'ontologies : maintenance de la consistance et évaluation de la qualité."

Copied!
13
0
0

Texte intégral

(1)

HAL Id: hal-00416702

https://hal.archives-ouvertes.fr/hal-00416702

Submitted on 14 Sep 2009

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of sci-

entific research documents, whether they are pub-

L’archive ouverte pluridisciplinaire HAL, est

destinée au dépôt et à la diffusion de documents

scientifiques de niveau recherche, publiés ou non,

Rim Djedidi, Marie-Aude Aufaure

To cite this version:

Rim Djedidi, Marie-Aude Aufaure. Enrichissement d’ontologies : maintenance de la consistance et

évaluation de la qualité.. 19es Journées Francophones d’Ingénierie des Connaissances (IC 2008), Jun

2008, Nancy, France. pp.249-260. �hal-00416702�

(2)

!"#$%&'("(")*$+,-"'./0('$/01,0-')$

)$%23,-4'#'54$6517-#,4"80'*$9032:';$<,#30=$('$>"1*$

?:,4',0$(0$+70:75$@$A*$-0'$B7:"74$<0-"'$@$C))CD$>"1$=0-$EF'44'$<'('G$$

{rim.djedidi, marie-aude.aufaure}@supelec.fr

73'5)3+H$ IJ,(,34,K":"42$ ('=$ 7547:7L"'=$ M$ :J2F7:04"75$ ('=$ (7#,"5'=$ 80J'::'=$

#7(2:"='54$ '4$ M$ :,$ (N5,#";"42$ ('=$ '5F"-755'#'54=$ (,5=$ :'=80'::'=$ '::'=$ =754$

,33:"802'=$ '=4$ 05$ K'=7"5$ 175;4"755':$ '=='54"':$ M$ 3-'5(-'$ '5$ ;7#34'$ (,5=$ :'$

;N;:'$ (J"5L25"'-"'$ 7547:7L"80'O$ ?:0="'0-=$ 3-7K:2#,4"80'=$ 2#,5'54$ ('$

:J2F7:04"75$ (J7547:7L"'=$ H$ :J"('54"1";,4"75$ ('=$ K'=7"5=$ ('$ ;P,5L'#'54*$ :,$

=32;"1";,4"75$('=$;P,5L'#'54=*$:J,33:";,4"75$('=$;P,5L'#'54=*$:,$4-,Q,K":"42$('=$

;P,5L'#'54=*$ :,$ 3-73,L,4"75$ ('=$ ;P,5L'#'54=$ ,0G$ ,-4'1,;4=$ (23'5(,54=*$ '4;O$

%,5=$ ;'4$ ,-4";:'*$ 570=$ 570=$ "542-'==75=$ 3,-4";0:"R-'#'54$ M$ :,$ L'=4"75$ ('=$

;P,5L'#'54=$(J05'$7547:7L"'$'4$570=$3-737=75=$05'$,33-7;P'$(J'5-";P"=='#'54$

(J7547:7L"'$ (754$ :J7K&';4"1$ '=4$ (J,047#,4"='-$ '4$ (J734"#"='-$ :,$ F,:"(,4"75$ ('=$

;P,5L'#'54=$'5$,==0-,54$:,$;75="=4,5;'$'4$:,$80,:"42$('$:J7547:7L"'$'5-";P"'O$I,$

#,"54'5,5;'$('$:,$;75="=4,5;'$'=4$,==0-2'$M$4-,F'-=$:,$3-737="4"75$(J,:4'-5,4"F'=$

('$-2=7:04"75$(J"5;75="=4,5;'=O$S5$#7(R:'$('$80,:"42$'=4$(21"5"$'4$,33:"802$370-$

2F,:0'-$ :J"#3,;4$ ('=$ ,:4'-5,4"F'=$ 3-737=2'=$ =0-$ :,$ 80,:"42$ ('$ :J7547:7L"'$ '4$

L0"('-$ :,$ -2=7:04"75$ ('=$ "5;75="=4,5;'=$ 4704$ '5$ #"5"#"=,54$ :,$ (23'5(,5;'$ M$

:J04":"=,4'0-O$

8.*'9%/3'+H$ TF7:04"75$ (J7547:7L"'=*$ >'=4"75$ ('$ ;P,5L'#'54=*$ <75="=4,5;'$

UVI*$$TF,:0,4"75$(J7547:7L"'=*$W0,:"42$(J7547:7L"'O$

: ;"*#.,5%*$."+

I'=$7547:7L"'=$=754$=70F'54$04":"=2'=$(,5=$('=$'5F"-755'#'54=$(N5,#"80'=*$#0:4".

,;4'0-=$'4$("=4-"K02=*$'::'=$5'$3'0F'54$X4-'$3'5=2'=$;7##'$05'$;75;'340,:"=,4"75$1"5"'$

(J05$ (7#,"5'$ ('$ ;755,"==,5;'=$ (2:"#"42$ '4$ =4,K:'O$ I'=$ #74"1=$ ('$ ;P,5L'#'54=$ =754$

#0:4"3:'=*$ :'$ (7#,"5'$ ('$ (21"5"4"75$ 3'04$ 2F7:0'-$ ;'$ 80"$ "#3:"80'$ ('=$ #7("1";,4"75=$

(,5=$:J7547:7L"'$370-$-'5(-'$;7#34'$('$;'44'$2F7:04"75$Y$:,$-204":"=,4"75$('$:J7547:7L"'$

3,-$ ('=$ ,33:";,4"75=$ ("112-'54'=$ 52;'=="4'$ 2L,:'#'54$ =75$ ,(,34,4"75$ Y$ :,$

;75;'340,:"=,4"75$ #X#'$ ('$ :J7547:7L"'$ 3'04$ X4-'$ ,11"52'$ M$ 4-,F'-=$ 05$ 3-7;'==0=$ ('$

;75=4-0;4"75$ "5;-2#'54,:O$ /"5="*$ 370-$ -2375(-'$ ,0G$ 7K&';4"1=$ 7-L,5"=,4"755':=$ '4$

(J0=,L'$ 370-$ :'=80':=$ '::'=$ 754$ 242$ (21"5"'=*$ :'=$ 7547:7L"'=$ (7"F'54$ =J,(,34'-$ ,0G$

K'=7"5=$('$;P,5L'#'54=O$$

(3)

!"#$% &'(% ")(*&+',-% #./$% 0)1$'#(.#$% /#'% "00).&2'% 34'#)*&2*$$'5'#(% 34.#(.+.6*'$%

789% $'+.#% +":/'++'-% +"% ;"+*3"(*.#% 3'$% &2"#6'5'#($% (*'#(% &.50('% "/$$*% <*'#% 3'% +"%

&.#$*$("#&'% :/'% 3'% +"% :/"+*(1% 3'% +4.#(.+.6*'% 1;.+/1'=% 94")(*&+'% '$(% .)6"#*$1% &.55'%

$/*(%>%3"#$%+"%$'&(*.#%?-%#./$%31("*++.#$%+4"00).&2'%34'#)*&2*$$'5'#(%34.#(.+.6*'$%'(%$'$%

3*@@1)'#('$%02"$'$=%9"%3'$&)*0(*.#%3/%0).(.(A0'%*50+15'#("#(%+4"00).&2'%'$(%0)1$'#(1'%

'#% $'&(*.#% B=% C;"#(% 3'% $A#(21(*$')% +'$% 3*@@1)'#($% 0.*#($% 3'% +4"00).&2'% 31@*#*'% '(%

0)1$'#(')% #.$% ()";"/D% @/(/)$-% /#'% 3*$&/$$*.#% '(% /#'% &.50")"*$.#% ";'&% +'$% ()";"/D%

'D*$("#($%$.#(%0)1$'#(1'$%E%+"%$'&(*.#%F=%

! "##$%&'()*+(,$-&'-..(/(,0)*+%,0%1%2-(.)

9"% 6'$(*.#% 3'$% &2"#6'5'#($% 34/#'% .#(.+.6*'% '$(% /#'%(G&2'% &)/&*"+'=% 94*#61#*'/)%

34.#(.+.6*'% 3.*(% &.#()H+')% (./$% +'$% '@@'($% 3'% &2"#6'5'#(-% +'$% )1$./3)'% '(% 1;"+/')%

+4*50"&(% 3/% &2"#6'5'#(% $/)% +4.#(.+.6*'=% I+% '$(% *#3*$0'#$"<+'% 3'% 3*$0.$')% 34/#'%

"00).&2'% 51(2.3.+.6*:/'% 34'#)*&2*$$'5'#(% 34.#(.+.6*'$% :/*% 0')5'(% 3'% $01&*@*')%

@.)5'++'5'#(%+'$%<'$.*#$%3'%&2"#6'5'#($%'(%3'%6/*3')%'(%"/(.5"(*$')%+4"00+*&"(*.#%3'$%

&2"#6'5'#($%(./(%'#%"$$/)"#(%+"%&.#$*$("#&'%'(%+"%:/"+*(1%3'%+4.#(.+.6*'%1;.+/1'=%

!34 5#6&-7-&80-%,)*(.)&'8,2(/(,0.)

9"%$01&*@*&"(*.#%@.)5'++'%3'$%&2"#6'5'#($%0')5'(%34'D0+*&*(')%+'$%&2"#6'5'#($%E%

"00+*:/')%'(%34*#3*:/')%+'$%'#(*(1$%&.#&')#1'$%&'%:/*%0')5'(%3'%61)')%'(%&.#()H+')%+'/)%

"00+*&"(*.#=% J++'% 310'#3% 3/% +"#6"6'% 3'% )'0)1$'#("(*.#% 3'% +4.#(.+.6*'=% K./$% #./$%

@.&"+*$.#$%$/)%+'%+"#6"6'%789%'(%0+/$%0)1&*$15'#(%+"%&./&2'%789L!9%:/*%)'0)1$'#('%

"/M./)342/*-% +'% 5.3N+'% @.#3"5'#("+% 3/% 8'<% $15"#(*:/'-% 0")(*&/+*N)'5'#(% 3"#$% +"%

&.#&'0(*.#% 34.#(.+.6*'$=% I+% <1#1@*&*'% 3'$% "&:/*$% 3'$% +.6*:/'$% 3'% 3'$&)*0(*.#$% >% /#'%

$15"#(*:/'% <*'#% 31@*#*'-% 3'$% 0).0)*1(1$% @.)5'++'$% &.50)12'#$*<+'$% '#% (')5'$% 3'%

&.50+'D*(1% '(% 3'% 31&*3"<*+*(1-% 3'$% "+6.)*(25'$% 34*#@1)'#&'% &.##/$%'(%3'$%)"*$.##'/)$%

!9%'D*$("#($%:/*%0')5'(('#(%3'%;1)*@*')%+"%&.#$*$("#&'%3'$%.#(.+.6*'$%OP.)).&Q$-%'(%"+=-%

?RRBS=%

K./$% #./$% $.55'$% )1@1)1$% "/% 5.3N+'% 789L!9% 0./)% 31@*#*)% 3'$% 0"().#$% 3'%

$01&*@*&"(*.#% @.)5'++'% 3'% &2"#6'5'#($% O$*6#"(/)'S=% 94*31'% '$(% 3'% &"(16.)*$')% +'$%

&2"#6'5'#($-%31@*#*)%@.)5'++'5'#(%+'/)%$*6#*@*&"(*.#-%+'/)%0.)(1'%'(%+'/)$%*50+*&"(*.#$%

0.('#(*'++'$=%!'$%()";"/D%'D*$("#($%OT+'*#-%?RRFS%.#(%31ME%0).0.$1%/#'%("D.#.5*'%3'$%

&2"#6'5'#($% 789% '#% 3*$(*#6/"#(% 3'/D% (A0'$% 34.01)"(*.#$% 3'% &2"#6'5'#($% >% +'$%

.01)"(*.#$%<"$*:/'$%'(%+'$%.01)"(*.#$%&.50+'D'$=%9'$%.01)"(*.#$%<"$*:/'$%*#&+/'#(%3'$%

&2"#6'5'#($% $*50+'$% '(% "(.5*:/'$% "00+*:/1$% E% /#'% $'/+'% '#(*(1% 3'% +4.#(.+.6*'%

O6)"#/+")*(1% @*#'S=% 9'$% .01)"(*.#$% &.50+'D'$% &.))'$0.#3'#(% E% 3'$% 51&"#*$5'$%

)'6)./0"#(% 3'$% .01)"(*.#$% <"$*:/'$% 0./)% @.)5')% 3'$%/#*(1$% +.6*:/'$% 3'%&2"#6'5'#($%

)*&2'$% '(% &.50.$*('$=% 9'$% &2"#6'5'#($% <"$*:/'$% $.#(% 31)*;1$% 3*)'&('5'#(% '(% 3'%

5"#*N)'% 'D2"/$(*;'% 3/% 5.3N+'% 789=% 9'$% &.50.$*(*.#$%3'% &2"#6'5'#($% &.50+'D'$%

$.#(%*#@*#*'$=%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%

,%U'%()";"*+%'$(%@*#"#&1%0")%+4C6'#&'%K"(*.#"+%3'%V'&2')&2'%3"#$%+'%&"3)'%3/%W).M'(LVKX9%!CY7J=%

(4)

"#$%#&!$'(%!)*'$%!+'$%#,-.-!($!/.01#0.!$'2)(!,0!+3)$4010$5%!6)%#7(0%!)//8#7(-%!

9! ,0%! +8)%%0%&! ,0%! /.'/.#-5-%! 05! ,0%! #$%5)$+0%! :*'#.! 5)680;<! 05! $'(%! )*'$%! ,-=#$#! ($!

1',>80!,0!%#4$)5(.0!,0!+3)$4010$5!1&23$0!,-+.#*)$5!?!

@ A0!52/0!,(!+3)$4010$5!%08'$!8)!5)B'$'1#0!,0%!+3)$4010$5%!CDA!E!

@ A0!52/0!,0%!0$5#5-%!+'$+0.$-0%!:+8)%%0%&!/.'/.#-5-%&!#$%5)$+0%<!E!

@ A0%! ).4(10$5%! +F0%5G9G,#.0! 80%! #$='.1)5#'$%! $-+0%%)#.0%! 9! 8)! 40%5#'$! ,(!

+3)$4010$5! :80%! 0$5#5-%! .-=-.0$+-0%! /).! 80! +3)$4010$5&! 80%! *)80(.%!

%/-+#=#7(0%!)(!+3)$4010$5&!05+H<!E!

@ A0%! +'$5.)#$50%! 9! %)5#%=)#.0! :/.-G+'$,#5#'$%<! /'(.! 7(0! 80! +3)$4010$5!

/(#%%0! I5.0! )//8#7(-! :.0%5.#+5#'$%&! +).,#$)8#5-&! ,'1)#$0! 05! +'G,'1)#$0! ,0!

/.'/.#-5-%&!)B#'10%!%/-+#=#7(0%!+'110!8)!,#%J'$+5#'$&!05+H<!E!

@ !A0%! #$+'$%#%5)$+0%! /'50$5#0880%! 7(#! /0(*0$5! I5.0! /.'6)68010$5! +)(%-0%!

/).!+0!52/0!,0!+3)$4010$5H!K880%!%'$5!#$=-.-0%!9!/).5#.!,0%!/.-G+'$,#5#'$%!05!

/0(*0$5! I5.0! 0$.#+3#0! )(! =(.! 05! 10%(.0! 9! 5.)*0.%! ($! /.'+0%%(%!

,L)//.0$5#%%)40H!

!"#$%&'H!C/-.)5#'$%!,0!+3)$4010$5%!6)%#7(0%H!

()*+*,& -.,/"*+0)1&

2$"11%1&

M8)%%0! )J'(5&!%(//.0%%#'$!!

N0%5.#+5#'$! "J'(50.&!%(//.#10.&!1',#=#0.!:+'$50$(<!

O2/0!.0%5.#+5#'$! !&!"!

M).,#$)8#5-! "J'(50.&!%(//.#10.&!1',#=#0.!

N08)5#'$!P!#%G)!Q! "J'(50.&!%(//.#10.&!1',#=#0.!

R#%J'$+5#'$! "J'(50.&!%(//.#10.&!1',#=#0.!

3/0./+,*,1!

S.'/.#-5-! "J'(50.&!%(//.#10.!

R'1)#$0! "J'(50.&!%(//.#10.&!1',#=#0.!

M'G,'1)#$0! "J'(50.&!%(//.#10.&!1',#=#0.!

N08)5#'$!P!#%G)!Q! "J'(50.&!%(//.#10.&!1',#=#0.!

T$*0.%0! "J'(50.&!%(//.#10.&!1',#=#0.!

U21-5.#0! R-=#$#.&!)$$(80.!

O.)$%#5#*#5-! R-=#$#.&!)$$(80.!

O2/0! R-=#$#.!?!,)5)52/0V'6J0+5!/.'/0.52!

4)1*")5%1&

T$,#*#,()8! "J'(50.&!%(//.#10.!

!

A)! %/-+#=#+)5#'$! ='.10880! ,(! +3)$4010$5! )! ($! %0$%! /8(%! 8).40! 7(L($0! %#1/80!

='.1)8#%)5#'$! ,(! +3)$4010$5! ,)$%! 80! 8)$4)40! ,0! .0/.-%0$5)5#'$! ,0! 8L'$5'8'4#0H!

K880!/.-/).0!80%!/3)%0%!,L)$)82%0!05!,0!.-%'8(5#'$!,0%!0==05%!,0!+3)$4010$5H!

!

(5)

!"! #$%&'(()(*+'*,'(-.%/*+'(*&01/,'2'/-(*

!"#$%$&'()*$+,&'-'.,/,$"+(#*0+(1"+1&-,("0(#*0+&('&)/,$"+(#&(2"',&(30&(#&(+"04&))&2(

'56)&2("0(1"++/$22/+1&2(-'&++&+,(&%%&,7(%/$,($+,&'4&+$'(#&2(1"++/$22/+1&2($+,&'8'&)$.&2(

&,( 1"9-)&:&2( &,( +.1&22$,&+,( )/( #.%$+$,$"+( #&( 9.1/+$29&2( 2-.1$%$/+,( 1"99&+,( )&2(

1"++/$22/+1&2( -&04&+,( ;,'&( 1</+6.&2( &,( 1"99&+,( 9/$+,&+$'( )/( 1"+2$2,/+1&( #&( 1&2(

1"++/$22/+1&2=( >&2( 1</+6&9&+,2( -&04&+,( /4"$'( -)02$&0'2( 1"+2.30&+1&2(

-/',$10)$5'&9&+,(20'()/(1"+2$2,/+1&(#&()*"+,")"6$&=(?"02(/4"+2(#.%$+$(0+(-'"1&2202(#&(

6&2,$"+(#&(1</+6&9&+,2(1"+#0$,(@(,'/4&'2(30/,'&(-</2&2(A(#.,&1,$"+(#&2($+1"+2$2,/+1&27(

-'"-"2$,$"+( #*/),&'+/,$4&2( #&( '.2")0,$"+7( .4/)0/,$"+( #&( )/( 30/)$,.( &,( /--)$1/,$"+( &,(

4/)$#/,$"+(%$+/)&(#&2(1</+6&9&+,2=(

!"!"3 #01('*+'*+4-'&-.%/*+'(*./&%/(.(-1/&'(*

B&,,&( -</2&( /( -"0'( "CD&1,$%( #&( 4.'$%$&'( )/( 1"+2$2,/+1&( &,( #&( #.)$9$,&'( )/( -/',$&(

$+1"+2$2,/+,&(#&()*"+,")"6$&=(>&(1</+6&9&+,(%"'9&))&9&+,(2-.1$%$.(&2,(/--)$30.(@(0+&(

4&'2$"+(,&2,(#&()*"+,")"6$&(-"0'(/+/)E2&'(2&2(&%%&,2=(?"02(1"99&+F"+2(-/'()"1/)$2&'()/(

2"028"+,")"6$&( '(( $+1"+2$2,/+,&( 9$+$9/)&( ,&))&( 30&('(!# '# )*#"'+## '(# '+( &2,(

1"+2$2,/+,&=( G&0:( +$4&/0:( #&( 1"+2$2,/+1&( HI>( 2"+,( 1"+2$#.'.2(A( )/( 1"+2$2,/+1&(

2,'01,0'&))&(&,(()/(1"+2$2,/+1&()"6$30&=((

>/(1"+2$2,/+1&(2,'01,0'&))&(2&('.%5'&(/0:(1"+,'/$+,&2(#0()/+6/6&(HI>8G>7(1*&2,8@8

#$'&()*0,$)$2/,$"+(#&(2&2(1"+2,'01,&0'2=(>/(1"+2$2,/+1&()"6$30&(2&('.%5'&(@()/(2.9/+,$30&(

%"'9&))&( #&( )*"+,")"6$&( &,( @( 2/( 2/,$2%$/C$)$,.( #/+2( )&( 2&+2( "J( &))&( &2,( 2.9/+,$30&9&+,(

1"''&1,&(&,(+&(-'.2&+,&(-/2(#&(1"+,'/#$1,$"+2()"6$30&2=(HI>8G>(&2,(0+()/+6/6&(1&+,'.(

/:$"9&=(>&2(1"+1&-,2(&,()&2('K)&2(-"225#&+,(#&2(#&21'$-,$"+2(2,'01,0'&))&27(.)/C"'.&2(@(

-/',$'( #*0+( 1&',/$+( +"9C'&( #&( 1"+2,'01,&0'2=( L+&( 2.9/+,$30&( &2,( /22"1$.&( @( 1</30&(

#&21'$-,$"+( -/'( )*$+,&'9.#$/$'&( #*0+&( $+,&'-'.,/,$"+( #0( #"9/$+&( ( MN"''"1O2( &,( P/,&)8 Q1<+&$#&'7( RSSTU=( >/( 2/,$2%/1,$"+( #&( )*"+,")"6$&( -/'( 0+&( $+,&'-'.,/,$"+( &2,( 1"+,'/$+,&(

-/'( )/( 2/,$2%/1,$"+( #&( ,"02( )&2( /:$"9&2( #&( )*"+,")"6$&( M/:$"9&2( #&( 1"+1&-,27( #&(

-'"-'$.,.2(&,(#*$+#$4$#02U=(

>&2(1"+,'/$+,&2()"6$30&2(#&(HI>8G>(.,/+,(+"9C'&02&27(+"02(+"02(%"1/)$2"+2(-"0'(

)&(9"9&+,7(20'(0+(2"028&+2&9C)&(#&(1"+#$,$"+2()$.&2(/0:(/:$"9&2(#&(A(

V Q0C2"9-,$"+(#&(1"+1&-,2(&,(#&(-'"-'$.,.2(W(

V G$2D"+1,$"+(#&(1"+1&-,2(W(

V B/'#$+/)$,.2(A()/(1/'#$+/)$,.(9$+$9/)&(-/'(&:&9-)&7(&2,(4.'$%$.&(@(,'/4&'2(

)/(1"+#$,$"+(2.9/+,$30&(20$4/+,&(A(

( (("c$C "p$P cardmin(c,p) ! "i$I |instprop(p,i)| % cardmin(c,p) V G"9/$+&( &,( 1"8#"9/$+&( #*0+&( -'"-'$.,.(&:-'$9.2( -/'( #&2( /:$"9&2(

2-.1$%$/+,( )&2( 1"+#$,$"+2( +.1&22/$'&2( -"0'( 30*0+&( $+2,/+1&( -0$22&( ;,'&(

/22"1$.&(@(0+&(1)/22&=(>&2(/22&',$"+2(#&(#"9/$+&(&,(1"8#"9/$+&(-&'9&,,&+,(

#*/--)$30&'(#&2($+%.'&+1&2(20'()&2($+#$4$#02=(

>&2(1"+,'/$+,&2(2,'01,0'&))&(&,(0+&(-/',$&(#&2(1"+,'/$+,&2()"6$30&2(2"+,(4.'$%$.&2(-/'(

)*&9-)"$( #0( '/$2"++&0'( P&))&,( 30$( 20--"',&+,( /022$( C$&+( )&( +$4&/0( ,&'9$+")"6$30&(

MXY":U(30*/22&',$"++&)(MZY":U(#&(HI>8G>(MQ$'$+(&,(P/'2$/7(RSSTU=((

(6)

!"!"! #$%&'()'(*+,*,&-.-,/()0%1.'+/%.-2'&()'(+3&,14.-,/

(

"#! $%&'()*+',! -.+,/',&+&*#,/0&! 10$20*! -0! 1$'1'&0$! 3! ),0! ',*'('4+0! -',,%0! 0*! ),!

/5#,4020,*!3!#11(+6)0$7!(0&!#(*0$,#*+80&!1'*0,*+0((0&!-0!$%&'()*+',!-0&!+,/',&+&*#,/0&!

/#)&%0&! 1#$! /0! /5#,4020,*9! :0&! #(*0$,#*+80&! $01$%&0,*0,*! -0&! '1%$#*+',&! -0!

/5#,4020,*&! #--+*+',,0(&! 3! #11(+6)0$! 1')$! 2#+,*0,+$! (.',*'('4+0! -#,&! ),! %*#*!

/',&+&*#,*9!!

;0,#,*! /'21*0! -)! 1$+,/+10! -0! <! /',*+,)+*%! ',*'('4+6)0! =! 6)+! &*+1)(0! 6).),0!

/',,#+&&#,/0! 0>+&*#,*0! ,0! 10)*! ?*$0! +,@+$2%0! AB)#,! 0*! #(97! CDDEF7! ,')&! *0,-',&! 3!

2+,+2+&0$!(0&!#(*0$,#*+80&!-0!&)11$0&&+',!-.#>+'20&!0,!1$'1'&#,*!-0&!#(*0$,#*+80&!-0!

-+8+&+',! -0! /',/01*&7! -0! @)&+',! -0! /',/01*&7! -0! 4%,%$#(+&#*+',7! -0! $0-+&*$+G)*+',!

-.+,&*#,/0&7!0*/9!:010,-#,*7!&+!),0!&)11$0&&+',!0&*!,%/0&&#+$0!A0((0!10)*!-.#+((0)$&!@#+$0!

(.'GH0*! -)! /5#,4020,*! ()+I2?20! 0*! ,',! &0)(020,*! -.),0! #(*0$,#*+80! -0! $%&'()*+',F7!

0((0!0&*!#11(+6)%0!*')*!0,!8%$+@+#,*!&',!+21#/*!&)$!(.',*'('4+09!:0$*#+,0&!/',,#+&&#,/0&!

10)80,*!0,!0@@0*7!?*$0!$%@)*%0&!3!),!2'20,*!-',,%7!,'*#220,*!('$&6)0!(.',*'('4+0!0&*!!

0,!/')$&!-0!/',&*$)/*+',9!

!

!

!

!

!

!

!

!

!

5-6"(7(J!K>021(0!-.#(*0$,#*+80&!-0!$%&'()*+',+

!

L0&! 1#*$',&! -.#(*0$,#*+80&! -0! $%&'()*+',! &',*! -%@+,+&! 1')$! &#*+&@#+$0! ),! 1$02+0$!

&')&I0,&02G(0!-0!/',-+*+',&!-0!/',&+&*#,/0&!('4+6)0&!A8'+$!&0/*+',!C9C9MF9!:0&!1#*$',&!

&',*! 0,&)+*0! #-#1*%&! #)>! &1%/+@+/+*%&! -)! /5#,4020,*! 3! #11(+6)0$7! -%/$+*0&! 1#$! &#!

&1%/+@+/#*+',!@'$20((09!!

N,! 0>021(0! -.#(*0$,#*+80&! -0! $%&'()*+',! 10)*! ?*$0! 1$'1'&%! 1')$! +(()&*$0$! (#!

$%&'()*+',!-.),0!+,/',&+&*#,/0!(+%0!3!),!#>+'20!-0!-+&H',/*+',!O!P+!Q!),0!+,&*#,/0!-)!

/',/01*!:R7!&')&I/',/01*!-)!/',/01*!:7!0&*!#&&+4,%0!#)!/',/01*!:C7!&')&I/',/01*!-0!

:! 0*! -+&H'+,*! -0! :R7! #)! (+0)! -0! &)11$+20$! (.#>+'20! -0! -+&H',/*+',! ')! (.#>+'20!

-.+,&*#,/+#*+',! -0! Q! 3! :R7! ! (.+,/',&+&*#,/0! -0! -+&H',/*+',! 10)*! ?*$0! $%&'()0! 1#$! (0&!

#(*0$,#*+80&!&)+8#,*0&!O!

S ".+,&*#,/0! Q! 0&*! $0-+&*$+G)%0! 0*! #&&+4,%0! #)! /',/01*! :! 1()*T*! 6).3! /0&!

&')&I/',/01*&7!#+,&+!(#!&%2#,*+6)0!-0!(.+,&*#,/0!Q!0&*!4#$-%0!2?20!&+!0((0!0&*!

2'+,&!1$%/+&0!0*!(.#>+'20!-0!-+&H',/*+',!$0&*0!8$#+!U!

S N,! ,')80#)! &')&I/',/01*! :M! 0&*! #H')*%! #)! /',/01*! :7! (.+,&*#,/0! Q! ()+!

&0$#! #&&+4,%07! +(! $01$%&0,*0$#! (0&! &')&I/',/01*&! -0! :! #)>6)0(&! (.#>+'20! -0!

-+&H',/*+',!,.0&*!1#&!#11(+6)%!&#,&!6)0!/0!-0$,+0$!,0!&'+*!&)11$+2%!U!

(7)

! "#$ %&%'$ #()'*+#),-'$ ./'$ (#$ 0*1213'+)'$ 0'/)$ &)*'$ 0*40451'$ %#,5$ '+$

#55,6+#+)$ (7,+5)#+2'$ 8$ /+,./'%'+)$ #/$ 24+2'0)$ 9:$ +4/-'(('%'+)$ 31;,+,$ #;,+$

371-,)'*$/+'$1-'+)/'(('$*'34+3#+2'<$

$

$

$

$

$

$

$

$

$

$

$

$

$

!"#$%&%=$"'5$#()'*+#),-'5$3'$*154(/),4+$37/+'$,+24+5,5)#+2'$(,1'$>$(#$3,5?4+2),4+$3'$24+2'0)5$

$

@#00'(4+5$ ./'$ ('5$ #()'*+#),-'5$ 3'$ *154(/),4+$ 4+)$ 04/*$ 4A?'2),;$ 3'$ %#,+)'+,*$ (#$

24+5,5)#+2'$3'$(74+)4(46,'$'+*,2B,'<$C,+5,D$)4/)'$0*4045,),4+$37#()'*+#),-'5$,%0(,./'$(#$

-1*,;,2#),4+$')$(#$*154(/),4+$*12/*5,-'5$3'5$';;')5$3'$2'5$#()'*+#),-'5$5/*$(#$24+5,5)#+2'$

6(4A#('$ 3'$ (74+)4(46,'$ #;,+$ 371-,)'*$ '+$ *154(-#+)$ /+'$ ,+24+5,5)#+2'$ 37'+$ 2#/5'*$ /+'$

#/)*'<$ E4/*$ 3'5$ *#,54+5$ 3'$ 5F+)BG5'D$ +4/5$ +'$ 0*15'+)'*4+5$ 0#5$ 3#+5$ 2')$ #*),2('D$

(7#(64*,)B%'$*12/*5,;$3'$(#$*154(/),4+$37,+24+5,5)#+2'5<$$$$

&$&$' ()*+,%-./0*12*3"45%-,%1*%62*1"3/%

E(/)H)$ ./'$ 3'$ 0*15'+)'*$ ('5$ 3,;;1*'+)'5$ #()'*+#),-'5$ 3'$ *154(/),4+$ >$ (7,+61+,'/*$

374+)4(46,'D$+4/5$0*40454+5$3'$6/,3'*$('$2B4,I$3'$(7#()'*+#),-'$>$#00(,./'*$'+$1-#(/#+)$

(7,%0#2)$ 3'$ 2B#2/+'$ 3'5$ #()'*+#),-'5$ 5/*$ (#$ ./#(,)1$ 3'$ (74+)4(46,'$ 5/*$ (#$ A#5'$ 37/+$

%43G('$ B,1*#*2B,./'$ 371-#(/#),4+$ ./'$ +4/5$ #-4+5$ 31;,+,$ JK?'3,3,$ ')$ #(<D$ LMMNO<$ "'$

%43G('$ 3'$ ./#(,)1$ ),'+)$ 24%0)'$ 3'$ (#$ 5)*/2)/*'$ ')$ 3'$ (7/5#6'$ 3'$ (74+)4(46,'<$ $ "'5$

2*,)G*'5$3'$./#(,)1$24+5,31*15$54+)$P$

! 94%0('I,)1$P$2'$2*,)G*'$*';(G)'$(#$3,;;,2/()1$>$24%0*'+3*'$(#$5)*/2)/*'$3'$

(74+)4(46,'$Q$

! 94B15,4+$P$'(('$),'+)$24%0)'$3'5$(,'+5$')$2B'-#/2B'%'+)5$'+)*'$24+2'0)5$

J*'(#),4+5O$Q$

! R#I4+4%,'$P$2'$2*,)G*'$*'+5',6+'$5/*$('$*#004*)$*'(#),4+5$B,1*#*2B,./'5$S$

*'(#),4+5$ 51%#+),./'5<$ 8($ '5)$ ,+-'*5'%'+)$ 0*404*),4++'($ >$ (#$ *,2B'55'$

51%#+),./'$3'$(74+)4(46,'$Q$

! CA5)*#2),4+$P$2'$2*,)G*'$%'5/*'$('$+,-'#/$3'$61+1*#(,5#),4+S5012,#(,5#),4+$

3'5$B,1*#*2B,'5$Q$

! T43/(#*,)1$ P$ (#$ 0455,A,(,)1$ 3'$ 3124/0'*$ (74+)4(46,'$ '+$ 54/5UB,1*#*2B,'5$

,+310'+3#+)'5$ J%43/('5O<$ "#$ %43/(#*,)1$ ;#2,(,)'$ (7'+*,2B,55'%'+)$ ')$ (#$

I

C2 C

C3 C1 I

C

C1 C2

C

C1

I

C2

I

C2 C

C3 C1

I

C2 C

C3 C1

II

C2 C

C3 C1 I

C

C1 C2

II C

C1 C2

C

C1

I

C2 C

C1

I C

C1

II

C2

I

C2 C

C3 C1

II

C2 C

C3 C1

Alternative a Alternative b Alternative c

I

C2 C

C3 C1 I

C

C1 C2

C

C1

I

C2

I

C2 C

C3 C1

I

C2 C

C3 C1

II

C2 C

C3 C1 I

C

C1 C2

II C

C1 C2

C

C1

I

C2 C

C1

I C

C1

II

C2

I

C2 C

C3 C1

II

C2 C

C3 C1

Alternative a Alternative b Alternative c

(8)

"#$%&'%#%('! )'! *#! +&,-(&-,'! '&! #-++$! *#! ,.-&$*$+#&$/%! )'! *0/%&/*/1$'2! 3**'!

4',"'&!)0.5#*-',!*'+!)'-6!#+4'(&+!+&,-(&-,'!'&!-+#1'!)'!*0/%&/*/1$'!7!

8 9/"4*.&-)'! :! 3**'! .5#*-'! *'! )'1,.! )'! (/-5',&-,'! )'+! +/-,('+!

,'4,.+'%&#&$5'+! )-! )/"#$%'! '&! )'+! 4,/4,$.&.+! 4',&$%'%&'+! )-! )/"#$%'!

;(/%</,"$&.!)'+!).+$1%#&$/%+!)'+!(/%('4&+!#-6!"/&+!(*.+!)-!)/"#$%'=!7!!

8 9/"4,.>'%+$/%!:!('!(,$&?,'!&$'%&!(/"4&'!)'!*#!<#($*$&.!)'!(/"4,.>'%+$/%!

)'! *0/%&/*/1$'! @! &,#5',+! *0#%%/&#&$/%! )'+! 4,$"$&$5'+! '&! *#! ).<$%$&$/%! )'+!

(/%('4&+2!

A$<<.,'%&'+!".&,$B-'+!)0.5#*-#&$/%!)'!B-#*$&.!/%&!.&.!,'('%+.'+!)#%+!*#!*$&&.,#&-,'2!

C/-+! %/-+! +/""'+! $%&.,'++.+! #-6! ".&,$B-'+! B-#%&$<$#D*'+! B-'! %/-+! #5/%+!

,')$+&,$D-.'+E! +-,! *'+! )$<<.,'%&+! (,$&?,'+! ($&.+! 4,.(.)'""'%&E! '&! (/"4*.&.'+! 4/-,! *#!

(/%+&,-(&$/%!)-!"/)?*'!)'!B-#*$&.!).(,$&!4#,!*'!&#D*'#-!($F#4,?+2!

9',&#$%+!(,$&?,'+!4'-5'%&!G&,'!(/%&,#)$(&/$,'+!;*'+!(>#%1'"'%&+!B-$!#-1"'%&'%&!*#!

(/"4*'6$&.!)'!*0/%&/*/1$'!4#,!'6'"4*'E!#".*$/,'%&!*#!(/>.+$/%!)'!+#!+&,-(&-,'=E!(0'+&!

4/-,B-/$!#-!).D-&!)-!4,/('++-+!)0'%,$(>$++'"'%&E!*0$%1.%$'-,!!)0/%&/*/1$'!4,/(?)'!@!

*#!4/%).,#&$/%!)'+!(,$&?,'+!)-!"/)?*'!'%!#&&,$D-#%&!-%!4/$)+!@!(>#(-%!)'+!(,$&?,'+!'%!

</%(&$/%!)'!+/%!$"4/,&#%('!4#,!,#44/,&!#-!)/"#$%'!"/).*$+.!'&!*0#44*$(#&$/%!-&$*$+#%&!

*0/%&/*/1$'2!

!"#$%& '2! A'+(,$4&$/%! )'+! (,$&?,'+! '&! ".&,$B-'+! .5#*-#%&! *#! B-#*$&.! )'! *#! +&,-(&-,'! '&! )'!

*0-+#1'!)'!*0/%&/*/1$'2!

()*+,)%-& ./+)*01%-&

2+)13+1)%&

C/"D,'!"/H'%!)'!9>'"$%+!)'!*#!,#($%'!5',+!-%!9/%('4&2!;C9I=!

C/"D,'!"/H'%!)'!)'+('%)#%&+!4#,!9/%('4&2!;CI9=!

C/"D,'!"/H'%!)'!)'+('%)#%&+!4#,!I,/4,$.&.2!;CII=!

9/"4*'6$&.!!!!!!!!!!!!!!!;IJ=!

C/"D,'!"/H'%!)'!K'*#&$/%+!4#,!9/%('4&2!;CK9=!

C/"D,'!"/H'%!)'!K'*#&$/%+!4#,!9/%('4&2!;CK9=!

9/>.+$/%!!!!!!!!!!!!!!!!!!;IL=!

C/"D,'!)'!9/%('4&+!K#($%'+!;%/"D,'!)'!>$.,#,(>$'+=2!;CK&9=!

M#6/%/"$'!!!!!!!!!!!!!!!;IN=! K#&$/!)'+!,'*#&$/%+!O+F#!4#,!,#44/,&!#-6!,'*#&$/%+!+."#%&$B-'+2!!

;PFOQR=!

RD+&,#(&$/%!!!!!!!!!!!!!!!;IS=! I,/</%)'-,!T/H'%%'!)0-%'!>$.,#,(>$'2!;AR=!

T/)-*#,$&.!!!!!!!!!!!!!!!;IU=! C/"D,'!)'!T/)-*'+!)$+V/$%&+!</,"#%&!*0/%&/*/1$'2!;CT=!

(9)

!

!"#$%&

"#$%&'()*+!!!!!!!!!!!!!!!,-./! 0#12(3!$3!"#$%&34!$)45#)6*4!7#(1'6*!&8#6*#&#9)3:!,0"/!

;'<<3&!,<#%(=36*'93!$34!*3(134!'<<'(')44'6*!$'64!&3!=#(<%4!

(3<(+436*'*)7!$%!$#1')63>!%*)&)4+4!+9'&3136*!=#113!6#14!$3!

=#6=3<*4!$'64!&8#6*#&#9)3/:!,;?@/!

@#1<&+*%$3!!!!!!!!!!!!!!,-A/!

-(+=)4)#6!,<#%(=36*'93!$34!*3(134!6#11'6*!&34!=#6=3<*4!$3!

&8#6*#&#9)3!'<<'(')44'6*!+9'&3136*!$'64!&3!=#(<%4!(3<(+436*'*)7!$%!

$#1')63/:!,-;?@/!

-#%(=36*'93!$3!@#6=3<*4!B66#*+4:!,B@/!

-#%(=36*'93!$3!;3&'*)#64!B66#*+4:!,B;/!

@#1<(+C364)#6!!!!!!!!,-D/!

0#12(3!1#E36!$3!F3(134!$+4)96'6*!%6!@#6=3<*:!,0F@/!

!

?6! (3<(36'6*! &83G31<&3! $3! &'! 7)9%(3! H>! &8'&*3(6'*)I3! '! 68'&*J(3! <'4! &'! 4*(%=*%(3! $3!

&8#6*#&#9)3>!&34!'&*3(6'*)I34!(!3*!)!'%9136*36*!&'!=#1<&3G)*+!$3!=3&&3K=):!;3&'*)I3136*!

L!&8'4<3=*!%4'93>!$'64!&34!'&*3(6'*)I34!'!3*!)>!&8)64*'6=3!M!6834*!<&%4!('**'=C+3!L!&'!=&'443!

@N>! 4)! &3! =#(<%4! (3<(+436*'*)7! $3! &8#6*#&#9)3! 1#6*(3! %63! )1<#(*'6*3! '44)96'*)#6! $3!

=3**3! )64*'6=3! '%! =#6=3<*! @N>! &3! =()*J(3! $3! =#1<&+*%$3! 43('! '&*+(+:! O3! =C#)G! *)36$('!

=#1<*3!$3!=34!+I'&%'*)#64!3*!'%44)!$34!<#6$+('*)#64!'**()2%+34!<'(!&83G<3(*!'%G!=()*J(34!

=#6=3(6+4:!

'('() *+#"%&,-#../01#2034&,%"&1+#4$%5%42"

&

@3**3!<C'43!=#((34<#6$!L!&'!I'&)$'*)#6!7)6'&3!$%!=C'693136*!6+=344')(3!3*!$3!434!

=C'693136*4! $+()I+4! *#%*! 36! '44%('6*! &'! *('P'2)&)*+! $34! 1#$)7)='*)#64! '<<&)Q%+34! L!

&8#6*#&#9)3:! ?&&3! 34*! #<*)1)4+3! <'(! &831<&#)! $3! *3=C6)Q%34! $8+I'&%'*)#6! $3! Q%'&)*+!

<3(13**'6*!$3!9%)$3(!&'!(+4#&%*)#6!$34!)6=#64)4*'6=34!3*!$3!1)6)1)43(!&'!$+<36$'6=3!L!

&8%*)&)4'*3%(:! O34! +I'&%'*)#64! $3! Q%'&)*+! 4#6*! =#1<'(+34! '%G! '6=)36634! I'&3%(4! $3!

Q%'&)*+!$3!&8#6*#&#9)3!)6)*)'&3!,4'%I39'($+34!$'64!&3!5#%(6'&!$8+I#&%*)#6/:!O8'&*3(6'*)I3!

Q%)! <(+43(I3! &'! Q%'&)*+! $3! &8#6*#&#9)3>! <3%*! R*(3! '%*#1'*)Q%3136*! =C#)4)3! 3*! &34!

=C'693136*4! $)(3=*3136*! I'&)$+4! 3*! '<<&)Q%+4:! O83G<3(*! 68)6*3(I)36$('! Q%3! 4)! *#%*34!

&34!'&*3(6'*)I34!#6*!%6!)1<'=*!6+9'*)7!4%(!&'!Q%'&)*+:!M&!43('!9%)$+!$'64!4'!$+=)4)#6>!<'(!

&8)6$)='*)#6!$3!&8'&*3(6'*)I3!&'!1#)64!=#S*3%43!<#%(!&'!Q%'&)*+:!

O8'6'&E43! $34! =C'693136*4! 3*! &34! (+4%&*'*4! $3! 1')6*36'6=3! $3! &'! =#64)4*'6=3! $3!

&8#6*#&#9)3! 4#6*! '<<&)Q%+4! L! %63! I3(4)#6! *31<#(')(3! $3! &8#6*#&#9)3! Q%)! <3%*! R*(3!

'2'6$#66+3!4)!&34!=C'693136*4!4#6*!7)6'&3136*!'66%&+4>!&8#6*#&#9)3!)6)*)'&3!43('!'&#(4!

<(+43(I+3:! T'64! &3! ='4! =#6*(')(3>! %63! 6#%I3&&3! I3(4)#6! $3! &8#6*#&#9)3! 34*! $+7)6)3! 3*!

&8C)4*#()Q%3!$34!=C'693136*4!34*!4'%I39'($+!$'64!&3!5#%(6'&!$8+I#&%*)#6:!!

O3! 5#%(6'&! $8+I#&%*)#6! 34*! %63! 4*(%=*%(3! <3(13**36*! $3! 4'%I39'($3(! &34!

=C'693136*4! '<<&)Q%+4! L! &8#6*#&#9)3! $3! $#1')63! 4#%4! 7#(13! $3! 4+Q%36=34!

=C(#6#&#9)Q%34!$8)67#(1'*)#6!4%(!&8364312&3!$34!*(')*3136*4!3773=*%+4!3*!&34!(+4%&*'*4!

#2*36%4!'%!&#69!$34!<C'434!$3!934*)#6!$3!=C'693136*4:!@3!5#%(6'&!7'=)&)*3!&3!4%)I)!$3!

&8+I#&%*)#6>! &3! (3*#%(! '(()J(3>! &'! 5%4*)7)='*)#6! $3! &836()=C)443136*! $3! &8#6*#&#9)3>! &'!

(10)

"#$%&'(! )#$! *#+$&'($! #%! ),($! -(#! .#+$.#/%&*#! 0-%-+#! 12,..+#(%&$$,"#! )#! .,%+'($!

)2&(/'($&$%,(/#$!#%!)#!.,%+'($!)2,1%#+(,%&*#$!)#!+3$'1-%&'($4!

! "#$%&'()*()+($%,-.)*()/01.+('(.%$)

5(! .+'%'%6.#! )-! $6$%78#!)#!"#$%&'(!)#!/9,("#8#(%!,!3%3!&8.138#(%3!.#+8#%%,(%!

)#! "3+#+! 1#$! /9,("#8#(%$! )2'(%'1'"&#$! :;<! %'-%! #(! 8,&(%#(,(%! 1,! /'($&$%,(/#! #%! 1,!

=-,1&%34!<#!.+'%'%6.#!.#+8#%!)#!*,1&)#+!12,..1&/,%&'(!)2-(!$'-$>#($#8?1#!.+3)30&(&!)#!

/9,("#8#(%$!0'+8#11#8#(%!$.3/&0&3$4!!

<2,+/9&%#/%-+#!)-!$6$%78#!&11-$%+3#!.,+!1,!0&"-+#!/&>,.+7$@!&(/1-%!=-,%+#!.+&(/&.,-A!

/'8.'$,(%$!#%!/&(=!$'-+/#$!)2&(0'+8,%&'(4!<#!/'8.'$,(%!,1*(%*$."+,('+$"%."'$'*2"%('!

$#!?,$#!$-+!1,!+#.+3$#(%,%&'(!0'+8#11#!)-!/9,("#8#(%!#%!1#$!/'(%+,&(%#$!)#!/'($&$%,(/#!

)-!8')71#!:;<!.'-+!1'/,1&$#+!1#$!&(/'($&$%,(/#$!/,-$3#$4!<#!/'8.'$,(%!3#.3.'$*$."+

,-2/*(#"2*$4('+,(+#1'./5*$."@!?,$3!$-+!/#$!8B8#$!+#$$'-+/#$@!.+'.'$#!)#$!,1%#+(,%&*#$!

)#!+3$'1-%&'(!.'-+!/9,/-(#!)#$!&(/'($&$%,(/#$!)3%#/%3#$4!<#!/'8.'$,(%!142/52*$."+,('+

2/*(#"2*$4('!?,$3!$-+!1#!8')71#!9&3+,+/9&=-#!)#!=-,1&%3!#%!1#$!.'()3+,%&'($!)#$!/+&%7+#$!

)30&(&#$!.,+!12#A.#+%@!.#+8#%!)23*,1-#+!12&8.,/%!)#$!)&003+#(%#$!!,1%#+(,%&*#$!.+'.'$3#$!

$-+! 1,! =-,1&%3! )#! 12'(%'1'"&#4! <#! /'8.'$,(%! 233/$%2*$."+ ,('+ %&2"0()("*'@! %#(,(%!

/'8.%#!)#$!!+3$-1%,%$!)#$!3*,1-,%&'($!.#+8#%!)#!*,1&)#+!)&+#/%#8#(%!-(!/9,("#8#(%!$&!

1,! =-,1&%3! #$%! .+3$#+*3#! '-! )#! 0'-+(&+! 1#$! +3$-1%,%$! )#! +3$'1-%&'(! #%! )23*,1-,%&'(! C!

12#A.#+%!.'-+!)3/&)#+!)-!/9,("#8#(%4!5(!D'-+(,1!)#!129&$%'+&=-#!)#$!)&003+#(%#$!3%,.#$!

.#+8#%!)2,(('%#+!#%!)#!",+)#+!1,!%+,E,?&1&%3!)#$!%+,&%#8#(%$!#00#/%-3$!%'-%!,-!1'("!)-!

.+'/#$$-$4!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

2,+3)!)F!G+/9&%#/%-+#!)-!$6$%78#!)#!*,1&),%&'(!)#!/9,("#8#(%$!

Modèle de l’ontologie Spécif.

changement

Paramétrage de l’expert (pondération des critères) Modèle des

Contraintes de Consistance

Modèle de la qualité de l’ontologie

Journal de l’historique des changements Niveau

Composants Niveau Ressources

Détection d’inconsistance -Typage du Changement -Déterminer les inconsistances pouvant être causées -Vérifier la consistance

Proposition d’alternatives de résolution -Proposer des alternatives de résolution pour chaque inconsistance détectée

Evaluation des Alternatives de Résolution -Evaluer l’impact de chaque alternative de résolution sur la qualité de l’ontologie

Application du Changement -application directe (si la qualité est préservée) -Fournir les résultats de résolution &

d’évaluation à l’ingénieur (si qualité non préservée) Ontologie

initiale

Spécification du changement

Ontologie évoluée

Résultats de résolution &

évaluation Modèle de

l’ontologie Spécif.

changement

Paramétrage de l’expert (pondération des critères) Modèle des

Contraintes de Consistance

Modèle de la qualité de l’ontologie

Journal de l’historique des changements Niveau

Composants Niveau Ressources

Détection d’inconsistance -Typage du Changement -Déterminer les inconsistances pouvant être causées -Vérifier la consistance Détection d’inconsistance -Typage du Changement -Déterminer les inconsistances pouvant être causées -Vérifier la consistance

Proposition d’alternatives de résolution -Proposer des alternatives de résolution pour chaque inconsistance détectée Proposition d’alternatives de résolution -Proposer des alternatives de résolution pour chaque inconsistance détectée

Evaluation des Alternatives de Résolution -Evaluer l’impact de chaque alternative de résolution sur la qualité de l’ontologie Evaluation des Alternatives de Résolution -Evaluer l’impact de chaque alternative de résolution sur la qualité de l’ontologie

Application du Changement -application directe (si la qualité est préservée) -Fournir les résultats de résolution &

d’évaluation à l’ingénieur (si qualité non préservée) Application du Changement -application directe (si la qualité est préservée) -Fournir les résultats de résolution &

d’évaluation à l’ingénieur (si qualité non préservée) Ontologie

initiale

Spécification du changement

Ontologie évoluée

Résultats de résolution &

évaluation

(11)

! "#$%&$$#'()*+)+,-.-&/)*/#$+-(+$)

!"#$#%&'() *(') (++(,') *() -.#$/(0($,') 1$-%2,) $3$) '(2%(0($,) %#) 4561+1-#,13$) *() %#) -3$'1',#$-()0#1')#2''1)%#)65'3%2,13$)*(')1$-3$'1',#$-(')*5,(-,5('7)85#$031$'9)1%)$"&)#) :#')'2++1'#00($,)*(),6#4#2;)'26)%#)0#1$,($#$-()*()%#)-3$'1',#$-()*#$')%#)%1,,56#,26(7)

!#) :63:3'1,13$) %#) :%2') '1/$1+1-#,14() (',) :65'($,5() *#$') <=,3>#$341-) (,) #%79) ?@@AB)

<=,3>#$341-9) ?@@CB7) !(') #2,(26') 3$,) :63:3'5) 2$) :63-(''2') /%3D#%) *() /(',13$)

*"543%2,13$) :326) %(') 3$,3%3/1(') EFG8) ':5-1+1#$,) %#)'50#$,1H2() *(') -.#$/(0($,') (,)

#''26#$,) %#) 0#1$,($#$-() *() %#) -3$'1',#$-(7) I%') :65'($,($,) 2$) 03*J%() :326) %#) '50#$,1H2() *(') -.#$/(0($,') EFG8) (,) :63:3'($,) *(') ',6#,5/1(') *() 65'3%2,13$)

*"1$-3$'1',#$-(') ($) '() D#'#$,) '26) %(') -3$,6#1$,(') *2) %#$/#/() EFG87) !(') ',6#,5/1(') '3$,):65'($,5(')K)%"2,1%1'#,(26):326)H2"1%)*5-1*()*()%(26)#::%1-#,13$)($)'()D#'#$,)'26)'3$) (;:(6,1'() *2) *30#1$(7) !(') :61$-1:(') *() 65'3%2,13$) *"1$-3$'1',#$-(') 3$,) #2''1) 5,5)

#*#:,5') *#$') <L##'() (,) =,3>#$341-) ?@@MB9) #2;) 3$,3%3/1(') GN!7) !(') #2,(26') 3$,) 1$,63*21,) *(') ',6#,5/1(') *() 65'3%2,13$) D#'5(') '26) %(') -3$,6#1$,(') *() GN!O!1,(7) !#) 65'3%2,13$) *(') 1$-3$'1',#$-(') %3/1H2(') '() D#'() '26)%#) *5,(601$#,13$)(,)%#)'2::6(''13$)

*(') #;130(') -#2'#$,) -(') 1$-3$'1',#$-(') '(%3$) *(2;) #::63-.(') P) %"2$() /5$56#$,) %()

$30D6() 01$10#%) *() -.#$/(0($,') K) #::%1H2(6) :326) 3D,($16) %#) '32'O3$,3%3/1() -3$'1',#$,() 0#;10#%()(,)%"#2,6():(60(,,#$,)*()%3-#%1'(6)%(')1$-3$'1',#$-(')-Q(',OKO*16()

*()6(,6324(6)%#)'32'O3$,3%3/1()1$-3$'1',#$,()01$10#%(7)!(')#;130(')K)'2::610(6)'3$,) ($'21,() :65'($,5') K) %"2,1%1'#,(26) :326) H2"1%) :21''() *5-1*(6) (,) -3$,6R%(6) %"543%2,13$) *()

%"3$,3%3/1(7)S326)'5%(-,13$$(6)%(')#;130(')K)'2::610(69)%(')#2,(26'):63:3'()%"1*5()*()

*5+1$16) *(') +3$-,13$') *() '5%(-,13$) ($) '"1$':16#$,) *(') ,6#4#2;) '26) %"1$-(6,1,2*() (,) %#) 651+1-#,13$) (,) '26) %(') 6(-.(6-.(') ($) 3$,3%3/1(') -3$,(;,2(%%(') :326) *5/#/(6) *(') 05,#*3$$5(') *5-614#$,) %(') #;130(') <-3$+1*($-(9) *(/65) *() -(6,1,2*(9) -#6#-,561',1H2(') -3$,(;,2(%%('9) (,-7B7) T#$') $3,6() #::63-.(9) $32') ,($*3$') K) 01$101'(6) %#) '2::6(''13$)

*"#;130(') ($) :63:3'#$,) *(') :#,63$') *"#%,(6$#,14(') 65'3%4#$,) %(') 1$-3$'1',#$-(') ($) +2'13$$#$,9) *141'#$,9) /5$56#%1'#$,) 32) ':5-1#%1'#$,) %(') -3$-(:,') :326) :65'(64(6) %(') -3$$#1''#$-(')(;1',#$,('7)

!"#::%1-#,13$) *"2$) -.#$/(0($,) :(2,) #%,56(6) $3$) '(2%(0($,) %#) -3$'1',#$-() 0#1')

#2''1)%#)H2#%1,5)*()%"3$,3%3/1(7)U32,(+31'9)%(')(++(,')*()-.#$/(0($,')'26)%#)H2#%1,5)*()

%"3$,3%3/1()$"3$,):#')5,5)5,2*15')*#$')%#)%1,,56#,26()D1($)H2()%#)$3,13$)*()H2#%1,5)*"2$() 3$,3%3/1()#1,)+#1,)%"3D>(,)*():%2'1(26')6(-.(6-.(')<L#6,0#$$)(,)#%79)?@@MB)<V6#$W)(,)#%79)

?@@MB) <=2:(W#69) ?@@MB) <X#$/) (,) #%7) ?@@YB7) =(%3$) -(,,() :(6':(-,14(9) $32') :63:3'3$') 2$() #::63-.() -30:%50($,#16() #2;) ,6#4#2;) ($) 543%2,13$) *"3$,3%3/1('9) 0($#$,)

%"#::%1-#,13$)*(')-.#$/(0($,')*()0#$1J6()'&',50#,1H2()(,)3:,101'5(7)F1$'19):%2,R,)H2()

*() $5-(''1,(6) %"1$,(64($,13$) *() %"(;:(6,) *#$') %#) 65'3%2,13$) *(') 1$-3$'1',#$-('9) $32') /21*3$') %() -.31;) *() %"#%,(6$#,14() *() 65'3%2,13$) K) #::%1H2(6) ($) 54#%2#$,) %"10:#-,) *(')

#%,(6$#,14(')'26)%#)H2#%1,5)*()%"3$,3%3/1(7)

Z$() #2,6() *1++56($-() '"#>32,() ($) -30:#6#1'3$) #4(-) %(') ,6#4#2;) *() <L##'() (,)

=,3>#$341-9)?@@MB)P)%"(0:%31)*(),(-.$1H2(')*"54#%2#,13$)*()H2#%1,5)*#$')%#)65'3%2,13$)

*(') 1$-3$'1',#$-(') K) ,6#4(6') 2$) 03*J%() *"54#%2#,13$) D#'5) '26) *(') -61,J6(') *() H2#%1,5) H2#$,1+1#D%('7)T#$')<L##'()(,)=,3>#$341-)?@@MB9)'(2%')H2(%H2(')-61,J6(')*()H2#%1,5)$3$O

(12)

"#$%&'('$)*+,! -%&! .&.! ./-"#.,0! ,-#,! (-12+! 3+! 4-%3'&'-%,! 5.%.1'"#+,! 3+! 4-%,',&$%4+!

3.('%'+,!6$1!*7'%5.%'+#1!6-#1!$,,#1+1!#%+!)-%%+!2-3.*',$&'-%!3+!*7-%&-*-5'+!&+**+,!"#+!

*+,!2.&$861-61'.&.,!3+!*$!2.&9-3-*-5'+!:%&-;*+$%!1+61.,+%&$%&!*+,!%-&'-%,!3+!1'5'3'&.0!

'3+%&'&.0! #%'&.! +&! 3.6+%3$%4+! <=#$1'%-! +&! >+*&?0! @AA@BC! D$1! $'**+#1,0!6-#1!2'%'2',+1!

*7'26$4&! 3+! ,#661+,,'-%! 37$E'-2+,! ,#1! *+,! -%&-*-5'+,0! *+,! $#&+#1,! ,+! 1.(F1+%&! G! #%!

+%,+2)*+! 3+! )+,-'%,! ,6.4'('"#+,! 6-#/$%&! H&1+! 3.('%',! 6$1! *7#&'*',$&+#1! <&+*,! "#+! *$!

2'%'2',$&'-%! 3#! %-2)1+! 37$E'-2+,! G! ,#661'2+10! -#! *$! 3.('%'&'-%! 37#%! 3+51.! 3+!

6+1&'%+%4+!6-#1!49$"#+!$E'-2+!6-#1!5#'3+1!*+!49-'E!3+,!$E'-2+,!G!,#661'2+1BC!I$%,!

%-&1+!$661-49+0!3+!&+*,!)+,-'%,!6+#/+%&!&-#J-#1,!H&1+!4-%,'3.1.,!2$',!+%!$2-%&0!%-#,!

$/-%,! 3.('%'! #%+! 4-#49+! 37./$*#$&'-%! 3+! *7'26$4&! ,#1! *$! "#$*'&.! "#'! &'+%&! 4-26&+! 3+!

41'&F1+,!"#$%&'('$)*+,!+&!'%3.6+%3$%&,!3+!*7#&'*',$&+#1C!

K'%$*+2+%&0!%-&-%,!"#+!*7$661-49+!+,&!4+%&1.+!,#1!*$!/$*'3$&'-%!3+,!49$%5+2+%&,!+&!

%-%! ,#1! &-#&! *+! 61-4+,,#,! 37./-*#&'-%C! L**+! 6$1&! 3+! *7$%$*?,+! 37#%! 49$%5+2+%&!

(-12+**+2+%&!,6.4'('.!+&!/',+!G!*7$66*'"#+1!&-#&!+%!$,,#1$%&!*$!4-%,',&$%4+!+&!*$!"#$*'&.!

3+!*7-%&-*-5'+C!D$1!$'**+#1,0!4+&&+!$661-49+!+,&!61'%4'6$*+2+%&!$3$6&.+!G!#%!61-4+,,#,!

37+%1'49',,+2+%&! 37#%+! -%&-*-5'+! 4+%&1$*',.+! +&! %+!&'+%&! 6$,! 4-26&+! 3$%,! ,$! /+1,'-%!

$4&#+**+0!3+!*$!3'2+%,'-%!3',&1')#.+!3+!*7+%/'1-%%+2+%&!3+!*7-%&-*-5'+C!

! "#$%&'()#$*+,*,-./.'0*1','-(*

I$%,!4+&!$1&'4*+0!%-#,!61-6-,-%,!#%+!$661-49+!37+%1'49',,+2+%&!37-%&-*-5'+,!3-%&!

*7-)J+4&'(!+,&!37-6&'2',+1!+&!$#&-2$&',+1!*$!5+,&'-%!3+,!49$%5+2+%&,!&-#&!+%!$,,#1$%&!*$!

4-%,',&$%4+!+&!*$!"#$*'&.!3+!*7-%&-*-5'+!./-*#.+C!M$!2$'%&+%$%4+!3+!*$!4-%,',&$%4+!+,&!

$,,#1.+! G! &1$/+1,! *$! 61-6-,'&'-%! 37$*&+1%$&'/+,! 3+! 1.,-*#&'-%! 37'%4-%,',&$%4+C! N%!

2-3F*+! 3+! "#$*'&.! +,&! 3.('%'! +&! $66*'"#.! 6-#1! ./$*#+1! *7'26$4&! 3+,! $*&+1%$&'/+,!

61-6-,.+,!,#1!*$!"#$*'&.!+&!5#'3+1!*$!1.,-*#&'-%!3+,!'%4-%,',&$%4+,!&-#&!+%!2'%'2',$%&!

*$! 3.6+%3$%4+! G! *7#&'*',$&+#1C! M7$*&+1%$&'/+! 61.,+1/$%&! *$! "#$*'&.! +,&! 49-','+!

$#&-2$&'"#+2+%&C!L**+!1+61.,+%&+!*+,!49$%5+2+%&,!4-26*.2+%&$'1+,!G!$66*'"#+1!6-#1!

2$'%&+%'1! *$! 4-%,',&$%4+! 3+! *7-%&-*-5'+! +&! ,$! "#$*'&.C! M+,! 49$%5+2+%&,! 6+#/+%&!$*-1,!

H&1+!/$*'3.,!3'1+4&+2+%&C!D$1!4-%&1+0!,'!&-#&+,!*+,!$*&+1%$&'/+,!-%&!#%!+((+&!%.5$&'(!,#1!*$!

"#$*'&.0! *7'%&+1/+%&'-%! 3+! *7+E6+1&! +,&! ,-**'4'&.+C! M+! 1.,#*&$&! 37./$*#$&'-%! -((1+! #%+!

'%(-12$&'-%! 4-26*.2+%&$'1+! G! *7+E6+1&',+! 3+! *7#&'*',$&+#1! "#'! *+! 5#'3+1$! 3$%,! ,$!

3.4','-%! +%! *#'! '%3'"#$%&! *7$*&+1%$&'/+! *$! 2-'%,! 4-O&+#,+! +&! *7$'3+1$! $#,,'! 3$%,! *$!

J#,&'('4$&'-%!3+,!4-O&,!3+,!49$%5+2+%&,!6$1!1$66-1&!G!*+#1!6+1&'%+%4+C!

P4&#+**+2+%&0! %-#,! &1$/$'**-%,! ,#1! *7$66*'4$&'-%! 3#! 61-4+,,#,! 3+! 5+,&'-%! 3+!

49$%5+2+%&,! 37-%&-*-5'+! 6-#1! *7+%1'49',,+2+%&! 37#%+! -%&-*-5'+! :>M! 3+!

6%+#2-*-5'+! (-#1%'+! 6$1! *7QRSLTUC! R-#,! 61-4.3-%,! G! *7+%1'49',,+2+%&! 3+!

*7-%&-*-5'+!3+!6%+#2-*-5'+!6$1!+E&1$4&'-%!+&!1.#&'*',$&'-%!3+!4-%%$',,$%4+,!',,#+,!3+,!

,&$%3$13,!2.3'4$#E!V!=PMLR8;TU0!SR:ULI!;W!+&!NUMSC!

(13)

!"#"$%&'%()

!"#$%&'()'*'+",!-.$/%&'0)'*'0.#1-$/2&'1'345567)' ''# ()*+,-# ./# .01.2.3-# ,+42)415.0# 1,678 059),(&' 89:;<<=>?@A' =<' BC' ;:?DE9<?;<' =CFC' G>?>?@' C?=' =CFC' HC9<I:JA<A' A>K==L56&' .MJNBMC?C&' OB:P<?><)'

#)'!#$-QR'*'()'2S#".-T'*'0)'(#U.-$T&'3455V7)':)52;503#40#.01.2.3-#./#<)2=.04*-#;5(,4(,(#

>517#041)*42#2403)43,#<*.6,((503#1..2(#)(503#1,?1)42#6.*<.*4)'/?F<9?CF>:?CB'(:J9?CB':D'0<=>;CB' /?D:9GCF>;A&'W:BJG<'XV&'/AAJ<'4YZ&'8C@<A'45[Y4\6)'

1(-1/1/'")'*'#!!,UT-'S)'*'0#"/-Y#U1-'#U]#U"-'3455X7)'@+.2)15.0#;A.01.2.35,#B#+425;415.0#

;,(# 67403,=,01(# C4(D,# ()*# 2AD+42)415.0&' 89:;<<=>?@A' \^9<A' M:J9?E<A' D9C?;:_I:?<A' AJ9' B<A' :?F:B:@><A&'O:JAA<&'TJ?>A><)'

-1-"'()'*'`/++/OO-"'%'3455X7)'"7403,# E,1,615.0# 50# F01.2.35,(#G(503# E'H# ".=<4*5(.0&' 89:;<<=>?@A'2#>O-&'.$2O&'__)'4\aZ6&'O_9>?@<9'<=>F>:?)'

+U#"/$,' $)'*'2)'`-.TQ' 345547)'@+42)41503# F01.2.35642# E,65(5.0(# >517# F01."2,40&' 2:GGJ?>;CF>:?'#20&'b6347&'__'V\YV6)'

S##O-'8)'*'OT,(#$,W/2'.'345567)' ".0(5(1,01# @+.2)15.0# ./# FIJ# F01.2.35,(&' -J9:_<C?' 2:?D<9<?;<':?'O<GC?F>;'`<N&'-2O`L56)'

S#"T0#$$'()'*'O8Q$O'8)'*'+/!,/$'#)'*'0#Q$#"1'1)'*'2U-.'")*''OU#"-cY]/+U-",#'0)2)''

*'OU"-'Q)'345567)'K,17.;(#/.*#.01.2.3-#,+42)415.0&'%?:HB<=@<H<N'1\)4)Z'=<B>P<9CNB<)' S,"",2%O'/)'*'8#T-.YO2S$-/1-"'8)'])'3455b7)'L,;)6503# FIJ# @01452=,01# 1.# E,(6*5<15.0#

J.356#M415(N4C5251-)'(:J9?CB':D'`<N'O<GC?F>;A&'\3b7)'

S,"",2%O'/)'*'8#T-.YO2S$-/1-"'8)'])'*' W#$'S#"0-.-$'])'3455Z7)'O*.=#MP!Q#40;#LEO#1.#

FIJB#R7,#K4S503#./#4#I,C#F01.2.3-#J403)43,')'(:J9?CB':D'`<N'O<GC?F>;A&'\3\7)'

%.-/$&'0'3455b7)'"7403,#K4043,=,01#/.*#E5(1*5C)1,;#F01.2.35,()'0EG:>9<'=<'FI^A<&'1JF;I' +9C=JCF<'O;I::B'D:9'/?D:9GCF>:?'C?='%?:HB<=@<'OdAF<GA&'O/%O'1>AA<9FCF>:?'O<9><A'$:)'455bY

\\)''

%.-/$'0)'*']-$O-.'1)'*'%/"Q#%,W'#)'*',+$Q#$,W'1)'345547)'F01.2.3-# +,*(5.0503# 40;#

67403,#;,1,615.0#.0#17,#I,C&'\Z^G<'/?F<9?CF>:?CB'2:?D<9<?;<':?'%?:HB<=@<'-?@>?<<9>?@'C?='

%?:HB<=@<'0C?C@<G<?F'-%#`54)'

0#-12S-&'#)'*'OT##!&'#'345547)'K,4()*503# (5=524*51-# C,1>,,0# .01.2.35,()' 89:;<<=>?@A' =<' -J9:_<C?' 2:?D<9<?;<' :?' %?:HB<=@<' #;eJ>A>F>:?' C?=' 0C?C@<G<?F' f' -%#`' 0C=9>=&' O_C>?&' .$2Og.$#/'4bXZ&'O_9>?@<9'345547'46\Y4VZ)'

8.-OO-"O'8)'*'1-'T",Q-"','345567)'F01.2.3-# "7403,# E,1,615.0# )(503# 4# T,*(5.0# J.3&' 89:;<<=>?@A'=<'/?F<9?CF>:?CB'O<GC?F>;'`<N'2:?D<9<?;<'/O`2L56)'

OT,(#$,W/2' .'3455b7)'K,17.;(# 40;# R..2(# /.*# F01.2.3-# @+.2)15.0)' 0EG:>9<' =<' FI^A<&' U?>P<9A>FE'=<'%C9BA9JI<)'

OT,(#$,W/2'.)'*'0#-12S-'0)&'OT,(#$,W/2'$)'*'OTU1-"'"'3455Z7)'F01.2.3-# ,+.2)15.0# 4(#

*,6.0/53)*415.08;,(530#<*.C2,=#(.2+503&'%Y2#85Z'89:;<<=>?@A&'#20'__)\V4a\X\)'

OU8-%#"&'%'3455V7)''#<,,*8*,+5,>#4<<*.467#/.*#.01.2.3-#,+42)415.0&'89:;<<=>?@A'=<'BC'[^G<'

;:?D<9<?;<''/?F<9?CF>:?CB)'89:FE@E'2:?D<9<?;<&'0C=9>=&'O_C>?)'

OU"-'Q)&'T-08/2S'2)'3455b7)'M141,# ./# 17,# 4*1# 50# .01.2.3-# ,0350,,*503# =,17.;.2.35,(&' O-%T'

>?D:9GCB'=<B>P<9CNB<'X)\)4&'/?AF>FJF'#/]!&'U?>P<9A>FE'=<'%C9BA9JI<)'

RU#$'1)'$)&'!-..#T"-2S-'.)'8/-""#'+)'3455V7)''# +,*(5.00503# =4043,=,01# =.;,2# /.*#

.01.2.3-8C4(,;#;414#>4*,7.)(,(&'89:;<<=>?@A':D'1C`CKL5V)'

Q#$+&'c)&'cS#$&'1)&'Q-&'2'3455V7)'@+42)415.0#K,1*56(#/.*#F01.2.3-#".=<2,?51-#40;#@+42)48 15.0#'042-(5(&'/---'/?F<9?CF>:?CB'2:?D<9<?;<':?'<Y!JA>?<AA'-?@>?<<9>?@&'/2-!-5V)'

Références

Documents relatifs

A partir de mesures collectées sur le système en cours de fonctionnement, il faut alors estimer les paramètres des modèles décrivant les modes et, de façon concomitante, résoudre

La m´ethode propos´ee pour la d´etection du mode ac- tif d’un syst`eme ` a chaque instant et pour l’estimation de l’instant de changement de mode peut s’appliquer pour

Chapter 7: We define Lineal , an explicitly typed algebraic λ-calculus based on λ lin and Vectorial , with the subject reduction and strong normalisation properties.. This

les messages sont des structures : le routeur n’accepte pas en entr´ee de messages.. tels que des entiers ou des chaˆınes de caract`eres. Notre dernier exemple reprend

Over the historical period, equation (1) expresses a linear relationship between DJF station rainfall anomaly (departure from the observed climatology) and DJF model grid

En somme, la méthode de typage VP2 nouvellement décrite utilisant des amorces CODEHOP s'est révélée être une bonne alternative à la technique de référence VP1

La famille souhaite que l’enfant apprenne, mais souvent, les parents comparent avec ce qu’eux-mêmes ont appris dans leur vie d’élève et surtout, comment ils

Dans un second temps, nous proposons un syst`eme de typage plus souple permettant de manipuler des collections h´et´erog`enes, c’est ` a dire des collections contenant des valeurs