Approche composant de la spécification à limplantation

■♥st✐t✉t ❞❡ ❧❛ ❋r❛♥❝♦♣❤♦♥✐❡ ♣♦✉r ❧✬■♥❢♦r♠❛t✐q✉❡

▲❖❘■❆

❍❛♥♦✐✱ ❱✐❡t♥❛♠

◆❛♥❝②✱ ❋r❛♥❝❡

❆♣♣r♦❝❤❡ ❈♦♠♣♦s❛♥t ✿
❞❡ ❧❛ s♣é❝✐✜❝❛t✐♦♥ à ❧✬✐♠♣❧❛♥t❛t✐♦♥
▼é♠♦✐r❡ ❞❡ ✜♥ ❞✬ét✉❞❡s

❚❤✐ ▼✐♥❤ ❚✉②❡♥ ◆❣✉②❡♥

▲✐❡✉ ❞❡ st❛❣❡ ✿ ➱q✉✐♣❡ ❉❊❉❆▲❊✱ ▲❖❘■❆
❈❛♠♣✉s ❙❝✐❡♥t✐✜q✉❡✱ ❇P ✷✸✾
❋✲✺✹✺✵✻ ❱❛♥❞÷✉✈r❡ ❧ès ◆❛♥❝② ❈❡❞❡①

❙♦✉s ❧❛ ❞✐r❡❝t✐♦♥ ❞❡ ✿ ❆r♥❛✉❞ ▲❛♥♦✐①
❏❡❛♥✐♥❡ ❙♦✉q✉✐èr❡s

◆❛♥❝②✱ ❧❡ ✶✹ ♥♦✈❡♠❜r❡ ✷✵✵✽


❘❡♠❡r❝✐❡♠❡♥ts
❏❡ ✈♦✉❞r❛✐s t♦✉t ❞✬❛❜♦r❞ r❡♠❡r❝✐❡r ❏❡❛♥✐♥❡ ❙♦✉q✉✐èr❡s ❞❡ ♠✬❛✈♦✐r ❛❝❝✉❡✐❧❧✐❡ ❛✉ s❡✐♥ ❞❡
❧✬éq✉✐♣❡ ❞❡ r❡❝❤❡r❝❤❡ ❉❊❉❆▲❊ ❞✉ ▲❛❜♦r❛t♦✐r❡ ▲♦rr❛✐♥ ❞❡ ❘❡❝❤❡r❝❤❡ ❡♥ ■♥❢♦r♠❛t✐q✉❡ ❡t s❡s
❆♣♣❧✐❝❛t✐♦♥s ✭▲❖❘■❆✮✳
❏❡ t✐❡♥s é❣❛❧❡♠❡♥t à r❡♠❡r❝✐❡r t♦✉t ♣❛rt✐❝✉❧✐èr❡♠❡♥t ❆r♥❛✉❞ ▲❛♥♦✐① ❡t ❏❡❛♥✐♥❡ ❙♦✉q✉✐èr❡s
♣♦✉r ♠✬❛✈♦✐r ❡♥❝❛❞ré❡ ♣❡♥❞❛♥t ❝❡s ♥❡✉❢ ♠♦✐s✳ ❏❡ ❧❡s r❡♠❡r❝✐❡ ❞❡ ❧❡✉r ❝♦♥t❛❝t ❝❤❛❧❡✉r❡✉①✱ ❧❡✉rs
❝♦♥s❡✐❧s ❡t ❡♥❝♦✉r❛❣❡♠❡♥ts✱ ❧❡✉r s♦✉t✐❡♥ ♣❡r♠❛♥❡♥t ❡t ❧❛ ❧✐❜❡rté ❞❡ r❡❝❤❡r❝❤❡ q✉✬✐❧s ♦♥t ❜✐❡♥

✈♦✉❧✉ ♠❡ ❧❛✐ss❡r✳
▼❡s ♣❧✉s s✐♥❝èr❡s r❡♠❡r❝✐❡♠❡♥ts ✈♦♥t é❣❛❧❡♠❡♥t à t♦✉s ❧❡s ♣r♦❢❡ss❡✉rs ❡t ❧❡s ♣❡rs♦♥♥❡❧s ❞❡
❧✬■♥st✐t✉t ❞❡ ❧❛ ❋r❛♥❝♦♣❤♦♥✐❡ ♣♦✉r ❧✬■♥❢♦r♠❛t✐q✉❡ ✭■❋■✮ ♣♦✉r ♠✬❛✈♦✐r ❞♦♥♥é❡ ❞❡s ❝♦✉rs ❞❡ très
❣r❛♥❞❡ q✉❛❧✐té ❡t ♣♦✉r ❧❡✉r s♦✉t✐❡♥ t♦✉t ❛✉ ❧♦♥❣ ❞❡ ♠❡s ét✉❞❡s à ❧✬■❋■✳
❯♥ ❣r❛♥❞ ♠❡r❝✐ ❛✉① ♣♦st✲❞♦❝t♦r❛♥ts ❡t t❤és❛r❞s ❞❡ ❧✬éq✉✐♣❡ ❉❊❉❆▲❊ q✉✐ ♠✬♦♥t ❛✐❞é❡ ❛✉
❝♦✉rs ❞❡s ♥❡✉❢ ♠♦✐s ❞❡ ❝❡ st❛❣❡✱ ❡t ♣❧✉s ♣❛rt✐❝✉❧✐èr❡♠❡♥t à ❙❛♠✉❡❧ ❈♦❧✐♥✳
❏❡ r❡♠❡r❝✐❡ ❝❤❛❧❡✉r❡✉s❡♠❡♥t ♠❡s ❝❛♠❛r❛❞❡s ❞❡ ❧❛ ♣r♦♠♦t✐♦♥ ❳■■ ♣♦✉r ❧❡✉r ❛♠✐t✐é s❛♥s
❢❛✐❧❧❡ ❡t ❥❡ ❧❡✉r s♦✉❤❛✐t❡ ❜♦♥♥❡ ❝❤❛♥❝❡ ♣♦✉r ❧❛ s♦✉t❡♥❛♥❝❡✳
❋✐♥❛❧❡♠❡♥t ❥✬❛❞r❡ss❡ ✉♥ ❣r❛♥❞ ♠❡r❝✐ à t♦✉t❡ ♠❛ ❢❛♠✐❧❧❡ ❡t ♠❡s ❛♠✐s ♣♦✉r ❧❡✉r s♦✉t✐❡♥ ❡t
❧❡✉r ❡♥❝♦✉r❛❣❡♠❡♥t ❞❡ t♦✉t ❧✬✐♥st❛♥t✳

✶


❘és✉♠é
▲✬éq✉✐♣❡ ❉❊❉❆▲❊ ❞✉ ▲❖❘■❆ tr❛✈❛✐❧❧❡ s✉r ❧❡s ❛♣♣r♦❝❤❡s ❞❡ ✈ér✐✜❝❛t✐♦♥ ❞✬❛r❝❤✐t❡❝t✉r❡s
❧♦❣✐❝✐❡❧❧❡s à ❜❛s❡ ❞❡ ❝♦♠♣♦s❛♥ts✳ ▲❡s ❝♦♠♣♦s❛♥ts s♦♥t ❞❡s ❜♦ît❡s ♥♦✐r❡s ♣♦✉r ❧❡sq✉❡❧❧❡s s❡✉❧❡s
❧❡✉rs ✐♥t❡r❢❛❝❡s s♦♥t ❝♦♥♥✉❡s✳ ❯♥❡ ✐♥t❡r❢❛❝❡ ❞é❝r✐t ❧❡s ❢♦♥❝t✐♦♥♥❛❧✐tés ♦✛❡rt❡s ❡t✴♦✉ r❡q✉✐s❡s
♣❛r ❧❡ ❝♦♠♣♦s❛♥t ❝♦♥s✐❞éré✳ P♦✉r q✉❡ ❞✐✛ér❡♥ts ❝♦♠♣♦s❛♥ts ♣✉✐ss❡♥t êtr❡ ❞é♣❧♦②és ❡t tr❛✲
✈❛✐❧❧❡r ❡♥s❡♠❜❧❡✱ ✐❧s ❞♦✐✈❡♥t ♣♦✉✈♦✐r ❝♦♦♣ér❡r✱ ❝✬❡st✲à✲❞✐r❡ q✉❡ ❧❡✉rs ✐♥t❡r❢❛❝❡s ❞♦✐✈❡♥t êtr❡
❝♦♠♣❛t✐❜❧❡s✳
▼♦♥ tr❛✈❛✐❧ ❞❡ st❛❣❡ ❛ ♣♦rté s✉r ❧❛ ❧✐❛✐s♦♥ ❡♥tr❡ ❧❡s tr❛✈❛✉① ❞❡ ❧✬éq✉✐♣❡ ❉❊❉❆▲❊ s✉r ❧✬❛s✲
s❡♠❜❧❛❣❡ ❞❡ ❝♦♠♣♦s❛♥ts ❛✉ ♥✐✈❡❛✉ ❯▼▲✴❇ ❡t ❧❡s ❝♦♠♣♦s❛♥ts ❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥ ✭❊❏❇✮✳
◆♦✉s ❛✈♦♥s ♣r♦♣♦sé ✉♥❡ ❧✐❛✐s♦♥ à ❞✐✛ér❡♥ts ♥✐✈❡❛✉① ✿ ❝❡❧✉✐ ❞❡ ❧❛ ♣r♦❣r❛♠♠❛t✐♦♥ ❛✈❡❝ ❧❛ ❞é✲
✜♥✐t✐♦♥ ❞✬❛❞❛♣t❛t❡✉rs à ♣❛rt✐r ❞❡s ❊❏❇s ❡①✐st❛♥ts ❀ ❝❡❧✉✐ ❞❡ ❧❛ s♣é❝✐✜❝❛t✐♦♥ ❛✈❡❝ ❧❛ ❞é✜♥✐t✐♦♥
❞❡ ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❡♥tr❡ ♠ét❤♦❞❡s à ❧✬❛✐❞❡ ❞❡ ❏❛✈❛ ▼♦❞❡❧✐♥❣ ▲❛♥❣✉❛❣❡ ✭❏▼▲✮✳

▼♦ts✲❝❧és ✿ ❝♦♠♣♦s❛♥t✱ ❛❞❛♣t❛t❡✉r✱ s♣é❝✐✜❝❛t✐♦♥✱ ❝♦♠♣❛t✐❜✐❧✐té✱ ❊❏❇✱ ❏▼▲

❆❜str❛❝t

❚❤❡ ❉❊❉❆▲❊ t❡❛♠✱ ❛ r❡s❡❛r❝❤ ❣r♦✉♣ ❛t ▲❖❘■❆ ✐♥st✐t✉t❡✱ ✇♦r❦s ♦♥ ❝♦♠♣♦♥❡♥t✲❜❛s❡❞
s♦❢t✇❛r❡ ✈❡r✐✜❝❛t✐♦♥ ❛♣♣r♦❛❝❤❡s✳ ❈♦♠♣♦♥❡♥ts ❛r❡ ❝♦♥s✐❞❡r❡❞ ❛s ❜❧❛❝❦✲❜♦①❡s ❝♦♠♠✉♥✐❝❛t✐♥❣
t❤r♦✉❣❤ r❡q✉✐r❡❞ ❛♥❞✴♦r ♣r♦✈✐❞❡❞ ✐♥t❡r❢❛❝❡s ✇❤✐❝❤ ❞❡s❝r✐❜❡ t❤❡✐r ✈✐s✐❜❧❡ ❜❡❤❛✈✐♦rs✳ ❆ ♣r♦✈✐❞❡❞
✐♥t❡r❢❛❝❡ ♦❢ ♦♥❡ ❝♦♠♣♦♥❡♥t ❝❛♥ ❜❡ ❝♦♥♥❡❝t❡❞ ✇✐t❤ ❛ r❡q✉✐r❡❞ ✐♥t❡r❢❛❝❡ ♦❢ ❛♥♦t❤❡r ❝♦♠♣♦♥❡♥t
✐❢ t❤❡ ❢♦r♠❡r ♦✛❡rs t❤❡ s❡r✈✐❝❡s ♥❡❡❞❡❞ t♦ ✐♠♣❧❡♠❡♥t t❤❡ ❧❛tt❡r✳ ❙♦❢t✇❛r❡ ❝♦♠♣♦♥❡♥ts ❝❛♥ ❜❡
❝♦♠♣♦s❡❞ ❛♥❞ ❤❛✈❡ t♦ ❜❡ ❝♦♥♥❡❝t❡❞ ✐♥ ❛♥ ❛♣♣r♦♣r✐❛t❡ ✇❛②✱ t❤✐s ♠❡❛♥s t❤❛t t❤❡✐r ✐♥t❡r❢❛❝❡s
♠✉st ❜❡ ❝♦♠♣❛t✐❜❧❡✳
❲❡ ❤❛✈❡ st✉❞✐❡❞ ❤♦✇ t♦ ❡t❛❜❧✐s❤ ❛ r❡❧❛t✐♦♥s❤✐♣ ❜❡t✇❡❡♥ t❤❡ ✇♦r❦ ♦❢ t❤❡ ❉❊❉❆▲❊ t❡❛♠
❛❜♦✉t ❝♦♠♣♦♥❡♥t ❛ss❡♠❜❧② ✇✐t❤ ❯▼▲✴❇ ❛♥❞ ❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥ ✭❊❏❇✮✳ ❲❡ ❤❛✈❡ ♣r♦♣♦s❡❞
❛ r❡❧❛t✐♦♥s❤✐♣ ❛t ❞✐✛❡r❡♥t ❧❡✈❡❧s ✿ ❛t t❤❡ ♣r♦❣r❛♠✐♥❣ ❧❡✈❡❧ ✇✐t❤ t❤❡ ❞❡✜♥✐t✐♦♥ ♦❢ ❛❞❛♣t❡rs ✉s✐♥❣
❊❏❇ ❡①✐st✐♥❣ ❝♦♠♣♦♥❡♥ts ❀ ❛t t❤❡ s♣❡❝✐✜❝❛t✐♦♥ ❧❡✈❡❧ ✇✐t❤ t❤❡ ❞❡✜♥✐t✐♦♥ ♦❢ ♠❡t❤♦❞ ❝♦♠♣❛t✐❜✐✲
❧✐t② ✉s✐♥❣ t❤❡ ❏❛✈❛ ▼♦❞❡❧✐♥❣ ▲❛♥❣✉❛❣❡ ✭❏▼▲✮✳

❑❡②✇♦r❞s ✿ ❝♦♠♣♦♥❡♥t✱ ❛❞❛♣t❡r✱ s♣❡❝✐✜❝❛t✐♦♥✱ ♠❛t❝❤✐♥❣✱ ❊❏❇✱ ❏▼▲

✷


❚❛❜❧❡ ❞❡s ♠❛t✐èr❡s
✶ ■♥tr♦❞✉❝t✐♦♥

✼

✶✳✶

Pr♦❜❧é♠❛t✐q✉❡

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✼

✶✳✷

❖❜❥❡❝t✐❢

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✼

✶✳✸

❈♦♥tr✐❜✉t✐♦♥

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✽

✶✳✸✳✶

❆✉ ♥✐✈❡❛✉ ♣r♦❣r❛♠♠❛t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✽

✶✳✸✳✷

❆✉ ♥✐✈❡❛✉ s♣é❝✐✜❝❛t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✽

✶✳✹

❊♥✈✐r♦♥♥❡♠❡♥t ❞❡ st❛❣❡

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✽

✶✳✺

❈♦♥t❡♥✉ ❞✉ ♠é♠♦✐r❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✾

✷ ➱t❛t ❞❡ ❧✬❛rt
✷✳✶

✷✳✷

✷✳✸

✷✳✹

❆❞❛♣t❛t❡✉r ❡t ❇

✶✵
✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✳✶✳✶

❱✉❡ ❣é♥ér❛❧❡

✷✳✶✳✷

▼ét❤♦❞❡ ❇

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✵

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✵

✷✳✶✳✸

■♥t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡ ❝♦♠♣♦s❛♥ts ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✷

✷✳✶✳✹

❉✐✛ér❡♥ts ❛ss❡♠❜❧❛❣❡s ❞❡ ❝♦♠♣♦s❛♥ts

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✷

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✸

✷✳✷✳✶

❉é✜♥✐t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✸

✷✳✷✳✷

Prés❡♥t❛t✐♦♥ ❞✬✉♥ ❝♦♠♣♦s❛♥t ❊❏❇

✶✸

✷✳✷✳✸

❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥s

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

❊①❡♠♣❧❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✻

❏❛✈❛ ▼♦❞❡❧✐♥❣ ▲❛♥❣✉❛❣❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✼

✷✳✸✳✶

❉é✜♥✐t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✼

✷✳✸✳✷

❙♣é❝✐✜❝❛t✐♦♥

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✼

✷✳✸✳✸

❊①❡♠♣❧❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✵

❈♦♠♣❛t✐❜✐❧✐té ❞❡ s♣é❝✐✜❝❛t✐♦♥s

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✶

✷✳✹✳✶

❉é✜♥✐t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✶

✷✳✹✳✷

❈♦♠♣❛t✐❜✐❧✐té ❛✉ ♥✐✈❡❛✉ s✐❣♥❛t✉r❡s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✷

✷✳✹✳✸

❈♦♠♣❛t✐❜✐❧✐té ❛✉ ♥✐✈❡❛✉ ❝♦♠♣♦rt❡♠❡♥ts

✷✷

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸ Pr♦♣♦s✐t✐♦♥s
✸✳✶

✶✵

✷✺

❉é✜♥✐t✐♦♥ ❞✬✉♥ ❛❞❛♣t❛t❡✉r ❛✉ ♥✐✈❡❛✉ ❊❏❇ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✺

✸✳✶✳✶

❙❝❤é♠❛ ❞✬❛❝❤✐t❡❝t✉r❡ ❞❡ ❝♦♠♣♦s❛♥t ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✺

✸✳✶✳✷

❈♦rr❡s♣♦♥❞❛♥❝❡ ❡♥tr❡ ❧✬❛❝❤✐t❡❝t✉r❡ ❯▼▲ ❡t ❊❏❇

✷✺

✸✳✶✳✸

❉✐✛ér❡♥ts t②♣❡s ❞✬❛❞❛♣t❛t❡✉rs ❡♥ ❢♦♥❝t✐♦♥ ❞❡s ❊❏❇s ♠❛♥✐♣✉❧és

✸✳✶✳✹

➱t✉❞❡ ❞❡ ❝❛s

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳
✳ ✳ ✳ ✳

✷✽

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✸

✸✳✷

❈♦♠♣❛t✐❜✐❧✐té ❛✉ ♥✐✈❡❛✉ s✐❣♥❛t✉r❡s

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✳✸

❈♦♠♣❛t✐❜✐❧✐té ❛✉ ♥✐✈❡❛✉ ❝♦♠♣♦rt❡♠❡♥ts ❛✈❡❝ ❏▼▲

✸

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✺
✸✻


✸✳✸✳✶

■♥✈❛r✐❛♥t

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✳✸✳✷

▼ét❤♦❞❡ ♣✉r❡✱ ♠ét❤♦❞❡ ✐♠♣✉r❡ ❡t ❝❧❛✉s❡

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✼

✸✳✸✳✸

❱✐s✐❜✐❧✐té ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✽

✸✳✸✳✹

❈♦♠♣♦rt❡♠❡♥ts ♣♦ss✐❜❧❡s ❞❛♥s ✉♥❡ ♠ét❤♦❞❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✽

✸✳✸✳✺

❊①❝❡♣t✐♦♥s

✹✵

❛ss✐❣♥❛❜❧❡

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✹ ❈♦♥❝❧✉s✐♦♥ ❡t ♣❡rs♣❡❝t✐✈❡s

✸✻

✹✻

✹✳✶

❈♦♥❝❧✉s✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✹✻

✹✳✷

P❡rs♣❡❝t✐✈❡s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✹✼

✹✳✷✳✶

◆✐✈❡❛✉ ♣r♦❣r❛♠♠❛t✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✹✼

✹✳✷✳✷

◆✐✈❡❛✉ s♣é❝✐✜❝❛t✐♦♥

✹✼

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✹


❚❛❜❧❡ ❞❡s ✜❣✉r❡s
✷✳✶

▼♦❞è❧❡ ❇

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✳✷

■♥t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡

✷✳✸

❆❞❛♣t❛t✐♦♥ ✈✉❡ ❝♦♠♠❡ ❧❡ ❞é✈❡❧♦♣♣❡♠❡♥t ❞✬✉♥ ♥♦✉✈❡❛✉ ❝♦♠♣♦s❛♥t

✳ ✳ ✳ ✳ ✳ ✳

✶✷

✷✳✹

❯♥ ❝♦♠♣♦s❛♥t ❊❏❇ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✸

✷✳✺

❉✐✛ér❡♥❝❡ ❡♥tr❡

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✹

✷✳✻

❊①❡♠♣❧❡ ❞❡ ❝♦♠♣♦s❛♥t ❊❏❇ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✻

✷✳✼

❈♦❞❡ s♦✉r❝❡ ❞❡s ✐♥t❡r❢❛❝❡s

❖❚❙✶

❅❘❡♠♦t❡

❡t

❡t

❖❚❙✷

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

❅▲♦❝❛❧

■❇ ❡t ■❈
❈♦❞❡ s♦✉r❝❡ ❞❡s ❝♦♠♣♦s❛♥ts ❇ ❡t ❈
❈♦❞❡ s♦✉r❝❡ ❞❡ ❧✬❛♣♣❧✐❝❛t✐♦♥ ❆ ✳ ✳ ✳

✶✶
✶✷

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✻

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✻

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✼

✷✳✶✵ ❋♦r♠❡ ❣é♥ér❛❧❡ ❞✬✉♥❡ s♣é❝✐✜❝❛t✐♦♥ ❏▼▲ ❞✬✉♥❡ ♠ét❤♦❞❡ ❏❛✈❛ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✾

✷✳✽
✷✳✾

✷✳✶✶ ■♥t❡r❢❛❝❡

P■❴▼▲✐❣❤ts

❡♥ ❏▼▲ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✶

✷✳✶✷ ■❞é❡ ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ♣❧✉❣✲✐♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✹

✸✳✶

❊①❡♠♣❧❡s ❞✬❛ss❡♠❜❧❛❣❡ ❯▼▲

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✻

✸✳✷

❈♦rr❡s♣♦♥❞❛♥❝❡ ❡♥tr❡ ❧✬❛❝❤✐t❡❝t✉r❡ ❯▼▲ ❡t ❊❏❇ ✲ ❈❛s ✶ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✻

✸✳✸

❈♦rr❡s♣♦♥❞❛♥❝❡ ❡♥tr❡ ❧✬❛❝❤✐t❡❝t✉r❡ ❯▼▲ ❡t ❊❏❇ ✲ ❈❛s ✷ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✼

✸✳✹

❈♦rr❡s♣♦♥❞❛♥❝❡ ❡♥tr❡ ❧✬❛❝❤✐t❡❝t✉r❡ ❯▼▲ ❡t ❊❏❇ ✲ ❈❛s ✸ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✼

✸✳✺

❆❞❛♣t❛t❡✉r ✲ ❈❛s ✶ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✾

✸✳✻

❆❞❛♣t❛t❡✉r ✲ ❈❛s ✷ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✵

✸✳✼

❆❞❛♣t❛t❡✉r ✲ ❈❛s ✸ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✶

✸✳✽

❆❞❛♣t❛t❡✉r ✲ ❈❛s ✹ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✶

✸✳✾

❆❞❛♣t❛t❡✉r ✲ ❈❛s ✺ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✷

✸✳✶✵ ➱t✉❞❡ ❞❡ ❝❛s

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✳✶✶ ➱t✉❞❡ ❞❡ ❝❛s ❡①♣r✐♠é❡ ❞❛♥s ❊❏❇
✸✳✶✷ ❈♦❞❡ s♦✉r❝❡ ❞❡s ✐♥t❡r❢❛❝❡s

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

❘■❴▲✐❣❤ts

❡t

P■❴▲✐❣❤ts

✸✳✶✸ ❈♦❞❡ s♦✉r❝❡ ❞❡ ❧✬❛❞❛♣t❛t❡✉r ❆❞❛♣t❡r❇❡❛♥

✸✸
✸✸

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✹

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✹

❇❛♥❦❆❝❝♦✉♥t ❡t ❆❝❝♦✉♥t ✳ ✳ ✳ ✳ ✳
❊①❡♠♣❧❡ ❞❡s ✐♥t❡r❢❛❝❡s ▼♦♥❡②❈♦♠♣❛r❛❜❧❡ ❡t ▼♦♥❡②❖♣s

✸✳✶✹ ❊①❡♠♣❧❡ ❞❡s ✐♥t❡r❢❛❝❡s

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✺

✸✳✶✺

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✸✺

✺


▲✐st❡ ❞❡s t❛❜❧❡❛✉①
✷✳✶

❉✐✛ér❡♥❝❡s ❡♥tr❡ ❙t❛t❡❧❡ss ❙❡ss✐♦♥ ❇❡❛♥s ❡t ❙t❛t❡❢✉❧ ❙❡ss✐♦♥ ❇❡❛♥s

✳ ✳ ✳ ✳ ✳ ✳

✶✹

✷✳✷

❈❛r❛❝tér✐st✐q✉❡s ❞❡s tr♦✐s t②♣❡s ❞❡ ❇❡❛♥s ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✺

✸✳✶

❉✐✛ér❡♥❝❡s ❡♥tr❡ ❧❡s tr♦✐s t②♣❡s ❞❡ ❇❡❛♥

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✺

✸✳✷

❘és✉♠é ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❡♥tr❡ ❞❡✉① ♠ét❤♦❞❡s ❛✈❡❝ ❡①❝❡♣t✐♦♥✭s✮ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✹✹

✻


❈❤❛♣✐tr❡ ✶

■♥tr♦❞✉❝t✐♦♥
✶✳✶ Pr♦❜❧é♠❛t✐q✉❡
▲❡s ♠ét❤♦❞❡s ❞✬✐♥❣é♥✐❡r✐❡ ❜❛sé❡s s✉r ❧✬❛ss❡♠❜❧❛❣❡ ❞❡ ❝♦♠♣♦s❛♥ts ✐♥❞é♣❡♥❞❛♥ts ré♣♦♥❞❡♥t
❛✉① ❜❡s♦✐♥s ❞❡ ❧✬é✈♦❧✉t✐✈✐té ❞❡s ❛r❝❤✐t❡❝t✉r❡s ❧♦❣✐❝✐❡❧❧❡s ❣râ❝❡ ❛✉① ❛✈❛♥t❛❣❡s ❞❡ ❧✬✐♥❣é♥✐❡r✐❡ ❜❛✲
sé❡ s✉r ❧❡s ❝♦♠♣♦s❛♥ts t❡❧s q✉❡ ❧❛ ré✉t✐❧✐s❛❜✐❧✐té ❞❡s ❝♦♠♣♦s❛♥ts ❧♦❣✐❝✐❡❧s ❝❡rt✐✜és✱ ❧❛ ré❞✉❝t✐♦♥
❞✉ ❝♦ût ❞❡ ❞é✈❡❧♦♣♣❡♠❡♥t✱ ❧❛ ✢❡①✐❜✐❧✐té ❞❡s s②stè♠❡s ❞é✈❡❧♦♣♣és✳ ▲❡s t❡❝❤♥♦❧♦❣✐❡s t❡❧❧❡s q✉❡
❧❡s ❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥s ✭❊❏❇✮ ❞❡ ❏❛✈❛✴❙✉♥ ❬✷✷✱ ✷✸❪✱ ❧❡s ❝♦♠♣♦s❛♥ts ✳◆❊❚ ❞❡ ▼✐❝r♦s♦❢t ❬✶✽❪✱
❈❖❘❇❆ ❞é❢❡♥❞✉ ♣❛r ❧✬❖▼● ❬✷✻✱ ✷✼❪✱ ♣❡r♠❡tt❡♥t ❞❡ ❞é✈❡❧♦♣♣❡r ❡t ❞❡ ❞é♣❧♦②❡r ❞❡s ❝♦♠♣♦s❛♥ts
ré✉t✐❧✐s❛❜❧❡s✳ ◆é❛♥♠♦✐♥s✱ ❧❡s ❛♣♣r♦❝❤❡s ❜❛sé❡s s✉r ❧✬✐♥❣é♥✐❡r✐❡ ❞❡s ❝♦♠♣♦s❛♥ts s♦♥t ❡♥❝♦r❡ ♣❡✉
s✉♣♣♦rté❡s ♣❛r ❞❡s ♠ét❤♦❞❡s ❞❡ ❝♦♥❝❡♣t✐♦♥✱ ❞❡ ✈ér✐✜❝❛t✐♦♥ ❡t ❞✬✐♥té❣r❛t✐♦♥ ❛❞❛♣té❡s à ❝❡tt❡
♥♦✉✈❡❧❧❡ ♣r♦❜❧é♠❛t✐q✉❡✳
▲✬éq✉✐♣❡ ❉❊❉❆▲❊ ❞✉ ▲❖❘■❆ ✭✈♦✐r s❡❝t✐♦♥

✶✳✹✮ tr❛✈❛✐❧❧❡ s✉r ❧❛ ❝♦♥❝❡♣t✐♦♥ ❞❡ ♠ét❤♦❞❡s

❞❡ ❞é✈❡❧♦♣♣❡♠❡♥t ♣♦✉r ❧❛ ✈ér✐✜❝❛t✐♦♥ ❞✬❛r❝❤✐t❡❝t✉r❡s ❧♦❣✐❝✐❡❧❧❡s à ❜❛s❡ ❞❡ ❝♦♠♣♦s❛♥ts ❬✹❪ ✿
❧❡s ❝♦♠♣♦s❛♥ts s♦♥t ❞❡s ❜♦ît❡s ♥♦✐r❡s ♣♦✉r ❧❡sq✉❡❧❧❡s s❡✉❧❡s ❧❡✉rs ✐♥t❡r❢❛❝❡s s♦♥t ❝♦♥♥✉❡s✳ ❯♥❡

✐♥t❡r❢❛❝❡ ❞é❝r✐t ❧❡s ❢♦♥❝t✐♦♥♥❛❧✐tés ♦✛❡rt❡s ❡t✴♦✉ r❡q✉✐s❡s ♣❛r ❧❡ ❝♦♠♣♦s❛♥t ❝♦♥s✐❞éré✳ P♦✉r
q✉❡ ❞✐✛ér❡♥ts ❝♦♠♣♦s❛♥ts ♣✉✐ss❡♥t êtr❡ ❞é♣❧♦②és ❡t tr❛✈❛✐❧❧❡r ❡♥s❡♠❜❧❡✱ ✐❧s ❞♦✐✈❡♥t ♣♦✉✈♦✐r
❝♦♦♣ér❡r✱ ❝✬❡st✲à✲❞✐r❡ q✉❡ ❧❡✉rs ✐♥t❡r❢❛❝❡s ❞♦✐✈❡♥t êtr❡ ❝♦♠♣❛t✐❜❧❡s✳
P♦✉r ❞é❝r✐r❡ ❧❡s ✐♥t❡r❢❛❝❡s ❞❡s ❝♦♠♣♦s❛♥ts ❡t ❧❡s ✐♥t❡r❛❝t✐♦♥s ❡♥tr❡ ❝♦♠♣♦s❛♥ts✱ ❧✬éq✉✐♣❡
❉❊❉❆▲❊ ✉t✐❧✐s❡ ❧❡s ❞✐❛❣r❛♠♠❡s ❞❡ ❝♦♠♣♦s❛♥ts ❯▼▲ ✷✳✵✳ ❆✜♥ ❞❡ ✈ér✐✜❡r ❢♦r♠❡❧❧❡♠❡♥t ❧✬✐♥✲
t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡ ❝♦♠♣♦s❛♥ts✱ ❧❡s ✐♥t❡r❢❛❝❡s s♦♥t ❞é❝r✐t❡s ❞❡ ♠❛♥✐èr❡ ♣❧✉s ♣ré❝✐s❡ à ❧✬❛✐❞❡
❞✬✉♥ ❧❛♥❣❛❣❡ ❢♦r♠❡❧ ❞❡ ❤❛✉t ♥✐✈❡❛✉✱ ❧❛ ♠ét❤♦❞❡ ❇ ✭✈♦✐r s❡❝t✐♦♥ ✷✳✶✮✳ ▲❛ ✈ér✐✜❝❛t✐♦♥ ❞❡ ❧✬✐♥t❡r✲
♦♣ér❛❜✐❧✐té ❡♥tr❡ ❧❡s ❝♦♠♣♦s❛♥ts s✬❡✛❡❝t✉❡ ❣râ❝❡ ❛✉① t❡❝❤♥✐q✉❡s ❞❡ r❛✣♥❡♠❡♥t ❡t ❛✉① ♦✉t✐❧s
❞❡ ♣r❡✉✈❡ ❛ss♦❝✐és à ❧❛ ♠ét❤♦❞❡ ❇✳
■❧ ❡st ❞♦♥❝ ♥é❝❡ss❛✐r❡ ❞✬ét❛❜❧✐r ✉♥ ❧✐❡♥ ♣❧✉s ♣ré❝✐s ❡♥tr❡ ❧❡s tr❛✈❛✉① ❞❡ ❧✬éq✉✐♣❡ s✉r ❧✬❛s✲
s❡♠❜❧❛❣❡ ❞❡ ❝♦♠♣♦s❛♥ts ❛✉ ♥✐✈❡❛✉ ❯▼▲✴❇ ❡t ❧❡s ❝♦♠♣♦s❛♥ts ❧♦❣✐❝✐❡❧s ✉s✉❡❧s t❡❧s q✉❡ ❧❡s

❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥s

♦✉ ❧❡s ❝♦♠♣♦s❛♥ts

✳◆❊❚✱

♦❜❥❡❝t✐❢s ❞✉ st❛❣❡ q✉❡ ❥✬❛✐ ❡✛❡❝t✉é ❞❛♥s

❧✬éq✉✐♣❡ ❉❊❉❆▲❊✳

✶✳✷ ❖❜❥❡❝t✐❢
▲✬♦❜❥❡❝t✐❢ ❞❡ ♠♦♥ s✉❥❡t ❞❡ st❛❣❡ ❡st ❞❛♥s ✉♥ ♣r❡♠✐❡r t❡♠♣s ❞✬ét✉❞✐❡r ❧❡s ❞✐✛ér❡♥t❡s t❡❝❤♥♦✲
❧♦❣✐❡s à ❜❛s❡ ❞❡ ❝♦♠♣♦s❛♥ts ✿ ❈♦r❜❛✱ ❊♥t❡r♣r✐s❡s ❏❛✈❛❇❡❛♥s✱ ✳◆❊❚✱ ♣✉✐s ❞✬ét❛❜❧✐r ✉♥ ❧✐❡♥ ❛✈❡❝

✼


❧❡ ♠♦❞è❧❡ ❞✬❛ss❡♠❜❧❛❣❡ ❯▼▲✴❇ ❛❝t✉❡❧❧❡♠❡♥t ♣r♦♠✉ ♣❛r ❧✬éq✉✐♣❡ ❉❊❉❆▲❊ ♣♦✉r ré♣♦♥❞r❡

❛✉① q✉❡st✐♦♥s s✉✐✈❛♥t❡s ✿
✕ ◗✉❡❧❧❡s s♦♥t ❧❡s ❞✐✛ér❡♥❝❡s ♠❛❥❡✉r❡s ❡♥tr❡ ❧❡s t❡❝❤♥♦❧♦❣✐❡s ❜❛sé❡s ❝♦♠♣♦s❛♥ts ❡①✐st❛♥t❡s ✿
❈♦r❜❛✱ ❊♥t❡r♣r✐s❡s ❏❛✈❛ ❇❡❛♥s✱ ✳◆❊❚ ❄ ❊①✐st❡✲✐❧ ❞❡s ❧✐❡♥s✱ ❞❡s ♣❛ss❡r❡❧❧❡s ❡♥tr❡ ❡❧❧❡s ❄
✕ ❈♦♠♠❡♥t ❧❡s ❝♦♠♣♦s❛♥ts ❧♦❣✐❝✐❡❧s ✐♠♣❧❛♥tés ✐♥t❡r❛❣✐ss❡♥t✲✐❧s ❛✉ s❡✐♥ ❞❡ ❝❡s ❞✐✛ér❡♥t❡s
♣❧❛t❡❢♦r♠❡s ❄ ❈♦♠♠❡♥t s✬❡✛❡❝t✉❡ ❧✬❛ss❡♠❜❧❛❣❡ ❞❡s ❝♦♠♣♦s❛♥ts ❄
✕ ▲✬❡①♣r❡ss✐✈✐té ❞✉ ♠♦❞è❧❡ ❞❡ ❝♦♠♣♦s❛♥ts ❯▼▲ ✷✳✵ ✴ ❇ ♣r♦♣♦sé ❞❛♥s ❧✬éq✉✐♣❡ ❉❊❉❆▲❊
❡st✲❡❧❧❡ s✉✣s❛♥t❡ ♣♦✉r ♣❡r♠❡ttr❡ ❧❡ ♣❛ss❛❣❡ ✈❡rs ❧❡s t❡❝❤♥♦❧♦❣✐❡s ❡①✐st❛♥t❡s à ❜❛s❡ ❞❡
❝♦♠♣♦s❛♥ts ❄

✶✳✸ ❈♦♥tr✐❜✉t✐♦♥
P♦✉r ré♣♦♥❞r❡ ❛✉① ♦❜❥❡❝t✐❢s ❞✉ s✉❥❡t✱ ♥♦✉s ét❛❜❧✐ss♦♥s ✉♥❡ ❧✐❛✐s♦♥ à ❞❡✉① ❞✐✛ér❡♥ts ♥✐✲
✈❡❛✉① ❞✉ ❝②❝❧❡ ❞❡ ❞é✈❡❧♦♣♣❡♠❡♥t ✿ ❛✉ ♥✐✈❡❛✉ s♣é❝✐✜❝❛t✐♦♥ ❡t ❛✉ ♥✐✈❡❛✉ ♣r♦❣r❛♠♠❛t✐♦♥✳ ◆♦tr❡
❝♦♥tr✐❜✉t✐♦♥ ❡st ❞✐✈✐sé❡ ❡♥ ❞❡✉① ♣❛rt✐❡s s❡❧♦♥ ❝❡s ♥✐✈❡❛✉①✳

✶✳✸✳✶ ❆✉ ♥✐✈❡❛✉ ♣r♦❣r❛♠♠❛t✐♦♥
P❛r♠✐ ❧❡s t❡❝❤♥♦❧♦❣✐❡s ❜❛sé❡s s✉r ❧❡s ❝♦♠♣♦s❛♥ts ❡①✐st❛♥ts✱ ♥♦✉s ❛✈♦♥s ét✉❞✐é ❧❡s ❊♥t❡r✲
♣r✐s❡ ❏❛✈❛ ❇❡❛♥s ✭❊❏❇✮✱ t❡❝❤♥♦❧♦❣✐❡ très ❝♦♥♥✉❡ ✉t✐❧✐s❛♥t ❏❛✈❛✳ ▲❛ ♠ét❤♦❞❡ ❇ ❡st ✉♥❡ ♠é✲
t❤♦❞❡ ❢♦r♠❡❧❧❡ ♣❡r♠❡tt❛♥t ❞❡ ✈ér✐✜❡r ❢♦r♠❡❧❧❡♠❡♥t ❧✬✐♥t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡ ❝♦♠♣♦s❛♥ts ❞♦♥t
❧✬❛❞❛♣t❛t❡✉r ❡st ✉♥❡ ♥♦t✐♦♥ ✐♠♣♦rt❛♥t❡✳ ■❧ ❡st ❞♦♥❝ ♥é❝❡ss❛✐r❡ ❞❡ ❞é✜♥✐r ❧✬❛❞❛♣t❛t❡✉r ❡♥tr❡
❞❡s ❝♦♠♣♦s❛♥ts ❡①✐st❛♥ts ❛✉ ♥✐✈❡❛✉ ♣r♦❣r❛♠♠❛t✐♦♥✳ ❆ ❧✬❛✐❞❡ ❞❡s ❝♦♥♥❛✐ss❛♥❝❡s s✉r ❧❡s ❝♦♠✲
♣♦s❛♥ts ❊❏❇s✱ ♥♦✉s ❝❤♦✐s✐ss♦♥s ❧❡ t②♣❡ ❇❡❛♥ ❝♦♠♠❡ é❧é♠❡♥t ♠♦t❡✉r ❞❡ ♥♦tr❡ tr❛✈❛✐❧✳ P✉✐s
♥♦✉s ❡ss❛②♦♥s ❞❡ ♠❡ttr❡ ❡♥ ❝♦rr❡s♣♦♥❞❛♥❝❡ ❧✬❛r❝❤✐t❡❝t✉r❡ ❞✬❛ss❡♠❜❧❛❣❡ ❯▼▲✴❇ ❛✈❡❝ ❧❡s ❊❏❇s✳
❊♥✜♥✱ ♥♦✉s ❞é✜♥✐ss♦♥s ❞❡s t②♣❡s ❞✬❛❞❛♣t❛t❡✉rs ❡♥ ❢♦♥❝t✐♦♥ ❞❡s ❊❏❇s ♠❛♥✐♣✉❧és✳

✶✳✸✳✷ ❆✉ ♥✐✈❡❛✉ s♣é❝✐✜❝❛t✐♦♥
■❧ ❡①✐st❡ ✉♥ ❧❛♥❣❛❣❡ ❞❡ s♣é❝✐✜❝❛t✐♦♥ ♣♦✉r ❏❛✈❛ ✿ ❏❛✈❛ ▼♦❞❡❧✐♥❣ ▲❛♥❣✉❛❣❡ ✭❏▼▲✮ ❬✾❪✳ ❯♥❡
❝❛r❛❝tér✐st✐q✉❡ ❝♦♠♠✉♥❡ à ❇ ❡t ❏▼▲ ✿ ❝❡ s♦♥t ❞❡s ❧❛♥❣❛❣❡s ❞❡ s♣é❝✐✜❝❛t✐♦♥ ❤❛✉t ♥✐✈❡❛✉✱
♣❡r♠❡tt❛♥t ❞✬❡①♣r✐♠❡r ❞❡s ♣r♦♣r✐étés ❞❡ t②♣❡ ♣ré✴♣♦st ❝♦♥❞✐t✐♦♥s✳ ■❧ ❡①✐st❡ ❛❝t✉❡❧❧❡♠❡♥t ❞❡s
♦✉t✐❧s ❞❡ ✈ér✐✜❝❛t✐♦♥ ♣♦✉r ❧❡s ♣r♦❣r❛♠♠❡s ❏❛✈❛ q✉✐ ✉t✐❧✐s❡♥t ❞❡s ❛♥♥♦t❛t✐♦♥s ❞❡ ❏▼▲ t❡❧ q✉❡
❑r❛❦❛t♦❛ ✭❬✶✵❪✮✳ ◆é❛♥♠♦✐♥s✱ ❧❛ s♣é❝✐✜❝❛t✐♦♥ ❡t ❧❛ ✈ér✐✜❝❛t✐♦♥ ❞❡ ❧✬❛❞❛♣t❛t✐♦♥ à ❧✬❛✐❞❡ ❞❡ ❏▼▲

❛✉ ♥✐✈❡❛✉ ✐♥t❡r❢❛❝❡ ♥❡ s♦♥t ♣❛s ♣r✐s❡ ❡♥ ❝♦♠♣t❡✳ ◆♦tr❡ tr❛✈❛✐❧ ❝♦♥s✐st❡ à ét✉❞✐❡r ❧❛ ❝♦♠♣❛t✐❜✐❧✐té
❡♥tr❡ ♠ét❤♦❞❡s ❞❡ ❧✬✐♥t❡r❢❛❝❡ r❡q✉✐s❡ ❡t ❝❡❧❧❡s ❞❡ ❧✬✐♥t❡r❢❛❝❡ ❢♦✉r♥✐❡ ❡♥ ✉t✐❧✐s❛♥t ❏▼▲✳

✶✳✹ ❊♥✈✐r♦♥♥❡♠❡♥t ❞❡ st❛❣❡
▲❡ ▲❖❘■❆✱ ▲❛❜♦r❛t♦✐r❡ ▲♦rr❛✐♥ ❞❡ ❘❡❝❤❡r❝❤❡ ❡♥ ■♥❢♦r♠❛t✐q✉❡ ❡t s❡s ❆♣♣❧✐❝❛t✐♦♥s✱ ❡st ✉♥❡
❯♥✐té ▼✐①t❡ ❞❡ ❘❡❝❤❡r❝❤❡ ❝♦♠♠✉♥❡ à ♣❧✉s✐❡✉rs ét❛❜❧✐ss❡♠❡♥ts ✿ ❈◆❘❙ ✭❈❡♥tr❡ ◆❛t✐♦♥❛❧ ❞❡
❘❡❝❤❡r❝❤❡ ❙❝✐❡♥t✐✜q✉❡✮✱ ■◆P▲ ✭■♥st✐t✉t ◆❛t✐♦♥❛❧ P♦❧②t❡❝❤♥✐q✉❡ ❞❡ ▲♦rr❛✐♥❡✮✱ ■◆❘■❆ ✭■♥st✐t✉t
◆❛t✐♦♥❛❧ ❞❡ ❘❡❝❤❡r❝❤❡ ❡♥ ■♥❢♦r♠❛t✐q✉❡ ❡t ❡♥ ❆✉t♦♠❛t✐q✉❡✮✱ ❯❍P ✭❯♥✐✈❡rs✐té ❍❡♥r✐ P♦✐♥❝❛ré✱
◆❛♥❝② ✶✮ ❡t ◆❛♥❝② ✷ ✭❯♥✐✈❡rs✐té ◆❛♥❝② ✷✮✳
❋♦♥❞é ❡♥ ✶✾✾✼✱ ❧❡ ▲❖❘■❆ s❡ ❝♦♥❝❡♥tr❡ s✉r s❡s tr♦✐s ♠✐ss✐♦♥s ♣r✐♥❝✐♣❛❧❡s ✿ ❧❛ r❡❝❤❡r❝❤❡ ❢♦♥✲
❞❛♠❡♥t❛❧❡ ❡t ❛♣♣❧✐q✉é❡ ❛✉ ♥✐✈❡❛✉ ✐♥t❡r♥❛t✐♦♥❛❧ ❞❛♥s ❧❡ ❞♦♠❛✐♥❡ ❞❡s ❙❝✐❡♥❝❡s ❡t ❚❡❝❤♥♦❧♦❣✐❡s

✽


❞❡ ❧✬■♥❢♦r♠❛t✐♦♥ ❡t ❞❡ ❧❛ ❈♦♠♠✉♥✐❝❛t✐♦♥✱ ❧❛ ❢♦r♠❛t✐♦♥ ♣❛r ❧❛ r❡❝❤❡r❝❤❡ ❡♥ ♣❛rt❡♥❛r✐❛t ❛✈❡❝
❧❡s ❯♥✐✈❡rs✐tés ❧♦rr❛✐♥❡s ❡t ❧❡ tr❛♥s❢❡rt t❡❝❤♥♦❧♦❣✐q✉❡ ♣❛r ❧❡ ❜✐❛✐s ❞❡ ♣❛rt❡♥❛r✐❛ts ✐♥❞✉str✐❡❧s
❡t ♣❛r ❧✬❛✐❞❡ à ❧❛ ❝ré❛t✐♦♥ ❞✬❡♥tr❡♣r✐s❡s✳
▲✬éq✉✐♣❡ ❉❊❉❆▲❊✱ ❛✉ s❡✐♥ ❞❡ ▲❖❘■❆✱ ❡st ✉♥❡ éq✉✐♣❡ tr❛✈❛✐❧❧❛♥t s✉r ❧❛ q✉❛❧✐té ❡t ❧❛
sûr❡té ❞❡s ❧♦❣✐❝✐❡❧s✳ ▲✬♦❜❥❡❝t✐❢ ❞❡ ❝❡tt❡ éq✉✐♣❡ ❡st ❞✬ét✉❞✐❡r ❧❡s ♠é❝❛♥✐s♠❡s ❞❡ ❝♦♥str✉❝t✐♦♥ ❞❡
s♣é❝✐✜❝❛t✐♦♥s ❡t ❞❡ ♣r♦❣r❛♠♠❡s✱ ❞❛♥s ❧❡ ❜✉t ❞✬❛❝q✉ér✐r ✉♥❡ ♠❡✐❧❧❡✉r❡ ♠❛îtr✐s❡ ❞❡ ❧❛ ♣r♦❞✉❝t✐♦♥✱
❞❡ ❧✬é✈♦❧✉t✐♦♥ ❡t ❞❡ ❧❛ q✉❛❧✐té ❞❡s ❧♦❣✐❝✐❡❧s✳ ▲✬✐❞é❡ s♦✉s✲❥❛❝❡♥t❡ ❡st q✉❡ ❧❡s ❞é✈❡❧♦♣♣❡♠❡♥ts ❞❡
s♣é❝✐✜❝❛t✐♦♥s ❡t ❞❡ ♣r♦❣r❛♠♠❡s s♦♥t ❞❡s ♦❜❥❡ts à ♣❛rt ❡♥t✐èr❡ q✉❡ ❧✬♦♥ ♣❡✉t ét✉❞✐❡r✱ ♠♦❞é❧✐s❡r✱
❝♦♥str✉✐r❡✱ ♠♦❞✐✜❡r ❡t ré✉t✐❧✐s❡r✳ ▲✬♦❜❥❡❝t✐❢ ♣r✐♥❝✐♣❛❧ ❡st ❞✬ ✿
✕ ❛♣♣♦rt❡r ❞❡s ❛✐❞❡s ❞❛♥s ❧❛ ❞é♠❛r❝❤❡ ❞❡ ❝♦♥str✉❝t✐♦♥ ❞✬✉♥ ❧♦❣✐❝✐❡❧✱ ❞❡♣✉✐s ❧✬❛♥❛❧②s❡ ❞✉
❝❛❤✐❡r ❞❡s ❝❤❛r❣❡s ❢♦✉r♥✐ ♣❛r ❧❡ ❝❧✐❡♥t ❥✉sq✉✬à ❧❛ ♣r♦❞✉❝t✐♦♥ ❞✬✉♥❡ s♣é❝✐✜❝❛t✐♦♥ ❢♦r✲
♠❡❧❧❡✱ ❛✈❡❝ ✉♥ ✐♥térêt ♣❛rt✐❝✉❧✐❡r ♣♦✉r ❧❡s ❛s♣❡❝ts ❞❡ ✈ér✐✜❝❛t✐♦♥ ❡t ❞❡ q✉❛❧✐té ✈✐❛ ✉♥❡
❝♦♥str✉❝t✐♦♥ ♣r♦✉✈é❡✱
✕ ❝♦♠♣r❡♥❞r❡ ❡t ❞é❝r✐r❡ ❞❡s ♠ét❤♦❞❡s ❞❡ ❞é✈❡❧♦♣♣❡♠❡♥t ❡♥ ✉t✐❧✐s❛♥t ❧❡s ❧❛♥❣❛❣❡s ❞❡ s♣é✲
❝✐✜❝❛t✐♦♥s ❡①✐st❛♥ts ❡t ❧❡s ♦✉t✐❧s ❛ss♦❝✐és à ❝❡s ❧❛♥❣❛❣❡s t♦✉t ❛✉ ❧♦♥❣ ❞✉ ❞é✈❡❧♦♣♣❡♠❡♥t✱

❡t ♣❛s ✉♥✐q✉❡♠❡♥t ❧♦rsq✉❡ ❧❛ s♣é❝✐✜❝❛t✐♦♥ ❡st t❡r♠✐♥é❡✳
▲❡s ❛①❡s t❤é♠❛t✐q✉❡s ❞❡ ❧✬éq✉✐♣❡ ❝♦♥❝❡r♥❡♥t ❧❛ ✿
✕ ❉é✜♥✐t✐♦♥ ❞❡ ❣✉✐❞❡s ♠ét❤♦❞♦❧♦❣✐q✉❡s ♣♦✉r ❧✬❡①♣r❡ss✐♦♥ ❞❡s ❜❡s♦✐♥s ❡t ❧❡ ♣❛ss❛❣❡ ❛ss✐sté
à ✉♥❡ s♣é❝✐✜❝❛t✐♦♥ ❢♦r♠❡❧❧❡✳
✕ ■♥té❣r❛t✐♦♥ ❞❡s ♦✉t✐❧s ❞❡ ✈❛❧✐❞❛t✐♦♥ ❡t ❞❡ ✈ér✐✜❝❛t✐♦♥ ❞❛♥s ❧❡ ♣r♦❝❡ss✉s ❞❡ ❞é✈❡❧♦♣♣❡♠❡♥t
❞❡ s♣é❝✐✜❝❛t✐♦♥s ❢♦r♠❡❧❧❡s✳
✕ ❙♣é❝✐✜❝❛t✐♦♥ ❞❡ s②stè♠❡s ♣❛r ❝♦♠♣♦s❛♥ts ❛✈❡❝ ♣r❡✉✈❡ ❞❡ ❧❡✉r ✐♥t❡r♦♣ér❛❜✐❧✐té ❬✹✱ ✽✱ ✶✷✱
✶✹✱ ✶✺❪✳
✕ ❙♣é❝✐✜❝❛t✐♦♥ ❡t ✈ér✐✜❝❛t✐♦♥ ❞❡ s②stè♠❡s ♠✉❧t✐✲❛❣❡♥ts s✐t✉és ❬✷✵❪✳

✶✳✺ ❈♦♥t❡♥✉ ❞✉ ♠é♠♦✐r❡
▲❛ ♠é♠♦✐r❡ ❡st str✉❝t✉ré ❞❡ ❧❛ ♠❛♥✐èr❡ s✉✐✈❛♥t❡✳
❉❛♥s ❧❡ ❝❤❛♣✐tr❡ ✷✱ ♥♦✉s ♣rés❡♥t♦♥s ❞❡s tr❛✈❛✉① ❡①✐st❛♥ts ❝♦♥❝❡r♥❛♥t ♥♦tr❡ ❛♣♣r♦❝❤❡ ✿ ❇
❡t ❧❡s ❛❞❛♣t❛t❡✉rs ✭❛♣♣r♦❝❤❡ ♣r♦♣♦sé❡ ♣❛r ❧✬éq✉✐♣❡ ❉❊❉❆▲❊✮✱ ❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥s ❡t ❏❛✈❛
▼♦❞❡❧✐♥❣ ▲❛♥❣✉❛❣❡✳ ◆♦✉s ♣rés❡♥t♦♥s ❛✉ss✐ ❞❡s tr❛✈❛✉① ❝♦♥❝❡r♥❛♥t ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ s✐❣♥❛✲
t✉r❡s ❡t ❞❡ s♣é❝✐✜❝❛t✐♦♥s q✉✐ ❥♦✉❡♥t ✉♥ rô❧❡ ✐♠♣♦rt❛♥t ❞❛♥s ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❡♥tr❡ ✐♥t❡r❢❛❝❡s✳
▲❡ ❝❤❛♣✐tr❡ ✸ ♣rés❡♥t❡ ❧❛ ❝♦♥tr✐❜✉t✐♦♥ ❞❡ ♥♦tr❡ st❛❣❡ à ❞❡✉① ♥✐✈❡❛✉① ❞✬❡①♣r❡ss✐♦♥ ✿ ❧❡
♥✐✈❡❛✉ ♣r♦❣r❛♠♠❛t✐♦♥ ❡t ❧❡ ♥✐✈❡❛✉ s♣é❝✐✜❝❛t✐♦♥✳
◆♦✉s t❡r♠✐♥♦♥s ❝❡ ♠é♠♦✐r❡ ♣❛r ✉♥❡ ❝♦♥❝❧✉s✐♦♥ ❡t ❞❡s ♣❡rs♣❡❝t✐✈❡s✳

✾


❈❤❛♣✐tr❡ ✷

➱t❛t ❞❡ ❧✬❛rt
✷✳✶ ❆❞❛♣t❛t❡✉r ❡t ❇
▲❡ ❞é✈❡❧♦♣♣❡♠❡♥t ❞❡s ❛❞❛♣t❛t❡✉rs à ❧✬❛✐❞❡ ❞❡ ❇ ❡st ✉♥❡ ❞✐r❡❝t✐♦♥ ❞❡ r❡❝❤❡r❝❤❡ ❞❡ ❧✬éq✉✐♣❡
❉❊❉❆▲❊✳ ◆♦✉s ♥♦✉s ❜❛s♦♥s s✉r ❧❡s ❛rt✐❝❧❡s ❬✻✱ ✶✸✱ ✶✺✱ ✶✾❪✱ ♣r✐♥❝✐♣❛❧❡♠❡♥t ❧✬❛rt✐❝❧❡ ❬✶✺❪ ♣♦✉r
♣rés❡♥t❡r ❞❡s ♣♦✐♥ts ✐♠♣♦rt❛♥ts ❝♦♥❝❡r♥❛♥t ♥♦tr❡ tr❛✈❛✐❧✳

✷✳✶✳✶ ❱✉❡ ❣é♥ér❛❧❡
▲✬❛♣♣r♦❝❤❡ ❝♦♠♣♦s❛♥t ❡st ✉♥❡ ❛♣♣r♦❝❤❡ ❞❡ ❞é✈❡❧♦♣♣❡♠❡♥t ❞❡ ❧♦❣✐❝✐❡❧s ✐♥tér❡ss❛♥t❡ ❬✷✹❪✳
❯♥❡ ❛♣♣❧✐❝❛t✐♦♥ à ❝♦♠♣♦s❛♥ts ❝♦♥s✐st❡ ❡♥ ✉♥❡ ❝♦♠♣♦s✐t✐♦♥ ❞❡ ❝♦♠♣♦s❛♥ts✱ ❝❤❛q✉❡ ❝♦♠♣♦✲
s❛♥t ❡st ❝♦♥s✐❞éré ❝♦♠♠❡ ✉♥❡ ✓❜♦ît❡ ♥♦✐r❡✔✳ ❉❡s ❝♦♠♣♦s❛♥ts ❧♦❣✐❝✐❡❧s s♦♥t ❞é✈❡❧♦♣♣és ♣❛r
❛ss❡♠❜❧❛❣❡ ❡t ❛❞❛♣❛t❛t✐♦♥ ♣♦✉r ♣r♦❞✉✐r❡ ✉♥ s②stè♠❡ ❝♦♠♣❧❡t✳
▲❡s ❝♦♠♣♦s❛♥ts ❝♦♠♠✉♥✐q✉❡♥t ✈✐❛ ❧❡✉rs ✐♥t❡r❢❛❝❡s✳ ■❧ ❡①✐st❡ ❞❡✉① t②♣❡s ❞✬✐♥t❡r❢❛❝❡ ❞❡
❝♦♠♣♦s❛♥ts ✿ ✉♥❡ ✐♥t❡r❢❛❝❡

❢♦✉r♥✐❡

q✉✐ ♦✛r❡ ❞❡s ❢♦♥❝t✐♦♥♥❛❧✐tés✱ ✉♥❡ ✐♥t❡r❢❛❝❡

r❡q✉✐s❡

q✉✐

✉t✐❧✐s❡ ❧❡s ❢♦♥❝t✐♦♥♥❛❧✐tés ❞✬✉♥ ❛✉tr❡ ❝♦♠♣♦s❛♥t ♣♦✉r ✐♠♣❧❛♥t❡r s❡s ♣r♦♣r❡s ❢♦♥❝t✐♦♥♥❛❧✐tés✳
❯♥❡ ✐♥t❡r❢❛❝❡

❢♦✉r♥✐❡

♣❡✉t êtr❡ ❝♦♥♥❡❝té❡ ❛✈❡❝ ✉♥❡ ✐♥t❡r❢❛❝❡

r❡q✉✐s❡

s✐ ❧❛ ♣r❡♠✐èr❡ ♦✛r❡ t♦✉t❡s

❧❡s ❢♦♥❝t✐♦♥♥❛❧✐tés ♣❡r♠❡tt❛♥t ❞✬✐♠♣❧❛♥t❡r ❧❛ s❡❝♦♥❞❡✳ ❆✜♥ ❞❡ ❣❛r❛♥t✐r ❧✬✐♥t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡
❝♦♠♣♦s❛♥ts✱ ✐❧ ❡st ♥é❝❡ss❛✐r❡ ❞✬❛✈♦✐r ✉♥❡ ❞❡s❝r✐♣t✐♦♥ ❛♣♣r♦♣r✐é❡ ❞❡s ✐♥t❡r❢❛❝❡s ❡t ❞❡ ✈ér✐✜❡r

❧❛ ❝♦rr❡❝t✐♦♥ ❞❡ ❝❡tt❡ ❝♦♥♥❡①✐♦♥✳ ▲❡ t❡r♠❡ ✓❝♦rr❡❝t✐♦♥ ❞✬✉♥❡ ❝♦♥♥❡①✐♦♥✔ ♣❡✉t s✬❡①♣r✐♠❡r ❡♥
t❡r♠❡s ❞✬✉♥ r❛✣♥❡♠❡♥t ✿ ❧✬✐♥t❡r❢❛❝❡ ❢♦✉r♥✐❡ ❞♦✐t ✧r❛✣♥❡r✧ ❧✬✐♥t❡r❢❛❝❡ r❡q✉✐s❡✳ ▲❛ ♠ét❤♦❞❡ ❇
❬✶❪ ❡st ✉♥❡ ♠ét❤♦❞❡ q✉✐ s✉♣♣♦rt❡ ❧❛ s♣é❝✐✜❝❛t✐♦♥ ❢♦r♠❡❧❧❡ ❞❡s ✐♥t❡r❢❛❝❡s ❡t ♣❡r♠❡t ❛✉ss✐ ❧❛
♣r❡✉✈❡ ❞❡ ❧❡✉r ✐♥t❡r♦♣ér❛❜✐❧✐té ❬✹✱ ✶✺❪✳
❉❛♥s ❧✬✐♥❣é♥✐❡r✐❡ ❞❡s ❝♦♠♣♦s❛♥ts✱ ❧❛ ♥♦t✐♦♥ ❞❡ ré✉t✐❧✐s❛t✐♦♥ ❡st très ✐♠♣♦rt❛♥t❡✳ ▲❡s ✐♥t❡✲
❢❛❝❡s ❢♦✉r♥✐❡s ❡t r❡q✉✐s❡s ❞❡s ❝♦♠♣♦s❛♥ts ❡①✐st❛♥ts ♣❡✉✈❡♥t r❛r❡♠❡♥t êtr❡ ❝♦♥♥❡❝té❡s ❞✐r❡❝t❡✲
♠❡♥t✳ P♦✉r ré♣♦♥❞r❡ ❛✉ ❜❡s♦✐♥ ❞❡ ❝♦♥♥❡①✐♦♥ ❡♥tr❡ ❝♦♠♣♦s❛♥ts✱ ✐❧ ❢❛✉t ✐♥t❡r❝❛❧❡r ✉♥ ❛❞❛♣t❛t❡✉r
✭♦✉ ♠é❞✐❛t❡✉r✮ ❡♥tr❡ ❝♦♠♣♦s❛♥ts ♦✉ ❜✐❡♥ ❞é✈❡❧♦♣♣❡r ✉♥ ♥♦✉✈❡❛✉ ❝♦♠♣♦s❛♥t ♣❛r ❛ss❡♠❜❧❛❣❡
❞❡ ♣❧✉s✐❡✉rs ❝♦♠♣♦s❛♥ts ❡①✐st❛♥ts✳

✷✳✶✳✷ ▼ét❤♦❞❡ ❇
❛✮ ❉é✜♥✐t✐♦♥
■♥✐t✐é❡ ♣❛r ❏❡❛♥✲❘❛②♠♦♥❞ ❆❜r✐❛❧ ❛✉ ❞é❜✉t ❞❡s ❛♥♥é❡s ✽✵✱ ❇ ❬✶❪ ❡st ✉♥❡ ♠ét❤♦❞❡ ❢♦r♠❡❧❧❡
❜❛sé❡ s✉r ❧❛ ❧♦❣✐❝ ❞✉ ♣r❡♠✐❡r ♦r❞r❡ ❡t ❧❛ t❤é♦r✐❡ ❞❡s ❡♥s❡♠❜❧❡s✱ ♣❡r♠❡tt❛♥t ✉♥ ❞é✈❡❧♦♣♣❡♠❡♥t

✶✵


✐♥❝ré♠❡♥t❛❧ ❞❡ s♣é❝✐✜❝❛t✐♦♥s ❣râ❝❡ ❛✉ r❛✣♥❡♠❡♥t✳ ❯♥ ❞é✈❡❧♦♣♣❡♠❡♥t ❝♦♠♠❡♥❝❡ ❛✈❡❝ ❧❛ ❞é✜✲
♥✐t✐♦♥ ❞✬✉♥❡ s♣é❝✐✜❝❛t✐♦♥ ❛❜str❛✐t❡ q✉✐ ❡st ❡♥s✉✐t❡ r❛✣♥é❡ ♣❛s à ♣❛s ❥✉sq✉✬à ❧✬♦❜t❡♥t✐♦♥ ❞✬✉♥❡
✐♠♣❧❛♥t❛t✐♦♥✳ ▲❡s ❝❛r❛❝tér✐st✐q✉❡s ♣r✐♥❝✐♣❛❧❡s ❞❡ ❇ s♦♥t ❧❡s s✉✐✈❛♥t❡s ✿
✕ ❞❡s ❢♦♥❞❡♠❡♥ts ♠❛t❤é♠❛t✐q✉❡s ❡♥ ❧♦❣✐q✉❡ ❞✉ ♣r❡♠✐❡r ♦r❞r❡ ❛✈❡❝

t❤é♦r✐❡ ❞❡s ❡♥s❡♠❜❧❡s✱

q✉✐ ❢♦r♠❡♥t ✉♥ ❝♦r♣✉s ❢♦r♠❡❧ ❝♦♥♥✉ ❡t ❝♦♠♣r✐s ❞❡♣✉✐s ❧♦♥❣t❡♠♣s ❡t ♣❡r♠❡tt❛♥t ❞❡
ré❛❧✐s❡r ❞❡s ✈ér✐✜❝❛t✐♦♥s ❢♦r♠❡❧❧❡s ❀
✕ ❧❛
✕ ❧❡

♠♦❞✉❧❛r✐té q✉✐ ❢❛❝✐❧✐t❡ ❧❡ ❞é✈❡❧♦♣♣❡♠❡♥t ♣❛r ♠♦r❝❡❛✉① ❞❡ s②stè♠❡s ❝♦♠♣❧❡①❡s ❀
r❛✣♥❡♠❡♥t ♣♦✉r ✉♥ ❞é✈❡❧♦♣♣❡♠❡♥t ✐♥❝ré♠❡♥t❛❧ ❞✉ ♥✐✈❡❛✉ ❞❡ ❞ét❛✐❧✱ ❛✐♥s✐ q✉❡ ♣♦✉r

❧❛ ❣é♥ér❛t✐♦♥ ❞❡ ❝♦❞❡✳
▲❛ ♠ét❤♦❞❡ ❇ ❛ été ✉t✐❧✐sé❡ ♣♦✉r ❞❡s ❛♣♣❧✐❝❛t✐♦♥s ✐♥❞✉str✐❡❧❧❡s ❝♦♠♣❧❡①❡s✱ ❡♥ ♣❛rt✐❝✉❧✐❡r
❞❛♥s ❧❡ ❞♦♠❛✐♥❡ ❞✉ ❢❡rr♦✈✐❛✐r❡✱ ❝♦♠♠❡ ❧❡ ♣r♦❥❡t ▼❊❚❊❖❘ ❬✸❪ ♦✉ ❧❡ ♠étr♦ ❱❛❧ ❬✷❪✳ ❊❧❧❡ s✬❛♣♣✉✐❡
s✉r ❞❡s ♦✉t✐❧s r♦❜✉st❡s ❬✷✶✱ ✺❪ ❜❛sés s✉r ❧❛ ♣r❡✉✈❡✳ ◆♦✉s r❛♣♣❡❧♦♥s ✐❝✐ ❝♦♠♠❡♥t ✉♥ ♠♦❞è❧❡ ❡st
❞é✈❡❧♦♣♣é ❣râ❝❡ à ❧❛ ♠ét❤♦❞❡ ❇✳

❜✮ ❈♦♥str✉❝t✐♦♥ ❞✬✉♥ ♠♦❞è❧❡ ❇
▲❡ ♣r✐♥❝✐♣❡ ❞✬✉♥ ♠♦❞è❧❡ t✐❡♥t ❞❛♥s ❧✬❡①♣r❡ss✐♦♥ ❞❡ ♣r♦♣r✐étés ❞✉ s②stè♠❡ q✉✐ ❞♦✐✈❡♥t
r❡st❡r ✈r❛✐❡s ❛♣rès t♦✉t❡ ét❛♣❡ ❞✬é✈♦❧✉t✐♦♥ ❞✉ ♠♦❞è❧❡✳ ▲❛ ❝♦rr❡❝t✐♦♥ ❞✉ ♠♦❞è❧❡ s✐❣♥✐✜❡ ❧❛
♣rés❡r✈❛t✐♦♥ ❞❡ s❡s ♣r♦♣r✐étés✱ ❡①♣r✐♠é❡s ♣❛r ✉♥ ✐♥✈❛r✐❛♥t✳

▼❖❉❊▲ ❡①❛♠♣❧❡
❙❊❊❙ s❡❡♥❴♠♦❞❡❧
■◆❈▲❯❉❊❙ ✐♥❝❧✉❞❡❞❴♠♦❞❡❧
❱❆❘■❆❇▲❊❙ ✈❛r✶✱ ✈❛r✷
■◆❱❆❘■❆◆❚ ✐♥✈
■◆■❚■❆▲■❙❆❚■❖◆ ✐♥✐t
❖P❊❘❆❚■❖◆❙
♦✉t✶✱ ♦✉t✷

←− ♠❡t❤♦❞✶✭✐♥✶✱ ✐♥✷✮ =
b

P❘❊ ♣r❡✶
❚❍❊◆ ❜♦❞②✶
❊◆❉
❊◆❉

❋✐❣✳ ✷✳✶ ✕ ▼♦❞è❧❡ ❇

▼❖❉❊▲ ♣♦✉r ❞é❝❧❛r❡r ❧❡ ♥♦♠ ❞✉ ♠♦❞è❧❡✳ ▲❡s
♣r♦♣r✐étés s♦♥t s♣é❝✐✜é❡s ❞❛♥s ❧❛ ❝❧❛✉s❡ ■◆❱❆❘■❆◆❚ ❞✉ ♠♦❞è❧❡ ❡t ❧✬é✈♦❧✉t✐♦♥ ❞❡ ❝❡ ♠♦❞è❧❡
❡st s♣é❝✐✜é❡ ❞❛♥s ♣❧✉s✐❡✉rs ♦♣ér❛t✐♦♥s s✐t✉é❡s ❞❛♥s ❧❛ ❝❧❛✉s❡ ❖P❊❘❆❚■❖◆❙✳ ❙♦✐t ❧❡ ♠♦❞è❧❡
❣é♥ér✐q✉❡ ♣rés❡♥té ✜❣✉r❡ ✷✳✶ ✿ ✐❧ ❞✐s♣♦s❡ ❞❡ ✈❛r✐❛❜❧❡s ✈❛r✶ ❡t ✈❛r✷ ✭❞é❝❧❛ré❡s ♣❛r ❧❛ ❝❧❛✉s❡
❱❆❘■❆❇▲❊❙✮ ❞♦♥t ❧❡s ♣r♦♣r✐étés s♦♥t ✐♥❞✐q✉é❡s ❞❛♥s ❧✬✐♥✈❛r✐❛♥t ✐♥✈✳ ▲❡ ♠♦❞è❧❡ ❝♦♥t✐❡♥t
✉♥❡ ♦♣ér❛t✐♦♥ ♠❡t❤♦❞✶ q✉✐ ♣ré❝✐s❡ ❝♦♠♠❡♥t ✈❛r✶ ❡t ✈❛r✷ s♦♥t ♠♦❞✐✜é❡s ❡♥ ❢♦♥❝t✐♦♥ ❞❡s
♣❛r❛♠ètr❡s ✐♥✶ ❡t ✐♥✷✳ ❊❧❧❡ ♣❡✉t ❛✉ss✐ r❡t♦✉r♥❡r ✉♥❡ ♦✉ ♣❧✉s✐❡✉rs ✈❛❧❡✉rs ♦✉t✶ ❡t ♦✉t✷✳ ▲❛
♣ré❝♦♥❞✐t✐♦♥ ♣r❡✶ ❞❡ ♠❡t❤♦❞✶ ♣❡r♠❡t ❞✬✐♥❞✐q✉❡r q✉❡❧❧❡s s♦♥t ❧❡s ❝♦♥tr❛✐♥t❡s s✉r ❧✬ét❛t ❞✉
❯♥ ♠♦❞è❧❡ ❇ ❝♦♠♠❡♥❝❡ ♣❛r ❧❛ ❝❧❛✉s❡

♠♦❞è❧❡ ✭❡t ❧❡s ♣❛r❛♠ètr❡s ❞❡ ❧✬♦♣ér❛t✐♦♥✮ ❧♦rs ❞❡ ❧✬❛♣♣❡❧ ❞❡ ❧✬♦♣ér❛t✐♦♥✳ ▲❡ ❝♦r♣s ❞❡ ❧✬♦♣ér❛t✐♦♥

❜♦❞②✶ ❡st s♣é❝✐✜é s❡❧♦♥ ❧❛ s②♥t❛①❡ ❞✉ ❧❛♥❣❛❣❡ ❞❡s s✉❜st✐t✉t✐♦♥s ❞❡ ❇✳

▲❡s ❛✉tr❡s ❝❧❛✉s❡s ❞✉ ♠♦❞è❧❡ ❣é♥ér✐q✉❡ ❞❡ ❧❛ ✜❣✉r❡ ✷✳✶ ♦♥t tr❛✐t à ❧❛ ♠♦❞✉❧❛r✐té ✿

s❡❡♥❴♠♦❞❡❧

❙❊❊❙ ❡st ✉♥ ♠♦❞è❧❡ ❇ q✉✐ ♣❡✉t êtr❡ ✈✉ ♠❛✐s ❞♦♥t ❧✬ét❛t ♥❡ ♣❡✉t ♣❛s êtr❡ ♠♦❞✐✜é✳
✐♥❝❧✉❞❡❞❴♠♦❞❡❧ ❞❡ ❧❛ ❝❧❛✉s❡ ■◆❈▲❯❉❊❙ ❡st ✉♥ ❛✉tr❡ ♠♦❞è❧❡ ❇ ❞♦♥t ❧✬ét❛t ❡st ✈✐s✐❜❧❡ ❡t
❞❡ ❧❛ ❝❧❛✉s❡

❞♦♥t ❧❡s ❝❤❛♥❣❡♠❡♥ts ♣❡✉✈❡♥t êtr❡ ❝♦♥trô❧és ❡♥ ❛♣♣❡❧❛♥t s❡s ♦♣ér❛t✐♦♥s✳

✶✶

✷✳✶✳✸ ■♥t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡ ❝♦♠♣♦s❛♥ts
P♦✉r ✈ér✐✜❡r ❧✬✐♥t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡ ❞❡✉① ❝♦♠♣♦s❛♥ts✱ ❝✬❡st✲à✲❞✐r❡✱ q✉✬✐❧s ♣❡✉✈❡♥t êtr❡
❝♦♥♥❡❝tés ✈✐❛ ❧❡✉r ✐♥t❡r❢❛❝❡s r❡s♣❡❝t✐✈❡s✱ ✐❧ ❢❛✉t s✬❛ss✉r❡r q✉❡ ❝❡s ✐♥t❡r❢❛❝❡s s♦♥t ❝♦♠♣❛t✐❜❧❡s✳
P❧✉s ♣ré❝✐sé♠❡♥t✱ ✐❧ s✬❛❣✐t ❞❡ ♠♦♥tr❡r q✉❡ ❧✬✐♥t❡r❢❛❝❡ ❢♦✉r♥✐❡ ✐♠♣❧❛♥t❡ ❜✐❡♥ ❧❡s ❢♦♥❝t✐♦♥♥❛❧✐tés
♥é❝❡ss❛✐r❡s à ❧✬✐♥t❡r❢❛❝❡ r❡q✉✐s❡✳
❊♥ ❞✬❛✉tr❡s t❡r♠❡s✱ ♥♦✉s ♣♦✉✈♦♥s ❞é✜♥✐r ❧✬✐♥t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡ ❝♦♠♣♦s❛♥ts ❞❡ ❧❛ ♠❛♥✐èr❡
s✉✐✈❛♥t❡ à ❧✬❛✐❞❡ ❞❡ ❇ ❬✹❪✳
❙♦✐❡♥t ❞❡✉① ❝♦♠♣♦s❛♥ts

❖❚❙✶✶

❡t

❖❚❙✷

t✐✈❡s✳ ■❧s s♦♥t ✐♥t❡r♦♣ér❛❜❧❡s s✐ ❡t s❡✉❧❡♠❡♥t s✐ ❧❡ ♠♦❞è❧❡ ❇ ❞❡
❝❡❧✉✐ ❞❡

❘■❴♦ts✶

❘■❴♦ts✶ ❡t P■❴♦ts✷ r❡s♣❡❝✲
P■❴♦ts✷ ❡st ✉♥ r❛✣♥❡♠❡♥t ❞❡

❛✈❡❝ ❧❡✉r ✐♥t❡r❢❛❝❡s

❬✶✺❪✳

❋✐❣✳ ✷✳✷ ✕ ■♥t❡r♦♣ér❛❜✐❧✐té ❡♥tr❡

❖❚❙✶

❡t

❖❚❙✷

❉❛♥s ❧❡ ❝❛s ♦ù ❞❡✉① ❝♦♠♣♦s❛♥ts ♥❡ s♦♥t ♣❛s ❝♦♠♣❛t✐❜❧❡s✱ ❧❡ ❞é✈❡❧♦♣♣❡♠❡♥t ❞✬✉♥ ❛❞❛♣t❛✲
t❡✉r ♦✉ ❝❡❧✉✐ ❞✬✉♥ ♥♦✉✈❡❛✉ ❝♦♠♣♦s❛♥t à ♣❛rt✐r ❞❡ ❝♦♠♣♦s❛♥ts ❡①✐st❛♥ts s♦♥t ♥é❝❡ss❛✐r❡s✳ ❈❡s
❞❡✉① ♠❛♥✐èr❡s ❞❡ ❞é✈❡❧♦♣♣❡♠❡♥t s♦♥t ❝♦♥s✐❞éré❡s éq✉✐✈❛❧❡♥t❡s ❬✶✺❪✳

❋✐❣✳ ✷✳✸ ✕ ❆❞❛♣t❛t✐♦♥ ✈✉❡ ❝♦♠♠❡ ❧❡ ❞é✈❡❧♦♣♣❡♠❡♥t ❞✬✉♥ ♥♦✉✈❡❛✉ ❝♦♠♣♦s❛♥t

❉é✈❡❧♦♣♣❡r ✉♥ ❛❞❛♣t❛t❡✉r q✉✐ ❛ss✉r❡ ❧❛ ❜♦♥♥❡ ❝♦♥♥❡①✐♦♥ ❡♥tr❡ ✉♥ ❝♦♠♣♦s❛♥t
❝♦♠♣♦s❛♥t

❘■❴♦ts✶

❖❚❙✷✱

r❡✈✐❡♥t à ❞é✈❡❧♦♣♣❡r ✉♥ ♥♦✉✈❡❛✉ ❝♦♠♣♦s❛♥t

❡♥ ✉t✐❧✐s❛♥t ❧❡ ❝♦♠♣♦s❛♥t

❖❚❙✷ ✈✐❛

❖❚❙✶

❡t ✉♥

❉❊❱ q✉✐ ❢♦✉r♥✐r❛ ❧✬✐♥t❡r❢❛❝❡
P■❴♦ts✷✱ ❝♦♠♠❡ ✐❧❧✉stré

s♦♥ ✐♥t❡r❢❛❝❡ ❢♦✉r♥✐❡

✜❣✉r❡ ✷✳✸✳

✷✳✶✳✹ ❉✐✛ér❡♥ts ❛ss❡♠❜❧❛❣❡s ❞❡ ❝♦♠♣♦s❛♥ts
❉❛♥s ✉♥❡ ❛♣♣r♦❝❤❡ ❞❡ ré✉t✐❧✐s❛t✐♦♥✱ ❧❡s ❝♦♠♣♦s❛♥ts ❡①✐st❛♥ts ♦♥t r❛r❡♠❡♥t ❞❡s ✐♥t❡r❢❛❝❡s
❞✐r❡❝t❡♠❡♥t ❝♦♠♣❛t✐❜❧❡s✳ ❯♥ ✓ ♥♦✉✈❡❛✉ ✔ ❝♦♠♣♦s❛♥t ❡st ♥é❝❡ss❛✐r❡ ♣♦✉r ❧❡s r❡♥❞r❡ ❝♦♠♣❛✲
t✐❜❧❡s✳ ▲❡ ❞é✈❡❧♦♣♣❡♠❡♥t ❞❡ ❝❡ ❝♦♠♣♦s❛♥t ♣❡✉t êtr❡ ♣❧✉s ♦✉ ♠♦✐♥s ❝♦♠♣❧❡①❡✱ ❡♥ ❢♦♥❝t✐♦♥ ❞✉
♥♦♠❜r❡ ❡t ❞✉ t②♣❡ ❞❡ ❝♦♠♣♦s❛♥ts ❡①✐st❛♥ts à ❛ss❡♠❜❧❡r✳ ▲❛ ❞é✜♥✐t✐♦♥ ❞❡s ❞✐✛ér❡♥ts ❝❛s ❞✬❛r✲
❝❤✐t❡❝t✉r❡ ❡t ❞❡s s❝❤é♠❛s ♣♦✉r ❛ss❡♠❜❧❡r ✉♥ ♦✉ ♣❧✉s✐❡✉rs ❝♦♠♣♦s❛♥ts ❡t ✈ér✐✜❡r ❧❛ ❝♦rr❡❝t✐♦♥

✶

◆♦✉s ♥♦♠♠♦♥s ❧❡s ❝♦♠♣♦s❛♥ts ❡①✐st❛♥ts ❖❚❙ ♣♦✉r ✓ ❖✛✲❚❤❡✲❙❤❡❧❢ ✔✳

✶✷


❞❡ ❧✬❛ss❡♠❜❧❛❣❡ ❡st ♣rés❡♥té❡ ❞❛♥s ❧✬❛rt✐❝❧❡ ❬✶✺❪✳ ◆♦tr❡ ♦❜❥❡❝t✐❢ ❡st ❞❡ ♠❡ttr❡ ❡♥ ❝♦rr❡s♣♦♥❞❛♥❝❡
❝❡s ❞✐✛ér❡♥ts ❛ss❡♠❜❧❛❣❡s ❞❡ ❝♦♠♣♦s❛♥ts ❛✈❡❝ ❧❡s ❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥s✳

✷✳✷ ❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥s
✷✳✷✳✶ ❉é✜♥✐t✐♦♥
➱❝r✐t❡ ❡♥ ❏❛✈❛✱ ❧❛ t❡❝❤♥♦❧♦❣✐❡ ❊♥t❡r♣r✐s❡ ❏❛✈❛ ❇❡❛♥s ✭❊❏❇✮ ❬✷✷❪ ❡st ✉♥❡ ❛r❝❤✐t❡❝t✉r❡ ❞❡

✷

❝♦♠♣♦s❛♥ts ❧♦❣✐❝✐❡❧s ❝ôté s❡r✈❡✉r ♣♦✉r ❧❛ ♣❧❛t❡❢♦r♠❡ ❞❡ ❞é✈❡❧♦♣♣❡♠❡♥t ❏✷❊❊ ✳ ❈❡tt❡ ❛r❝❤✐✲
t❡❝t✉r❡ ♣r♦♣♦s❡ ✉♥ ❝❛❞r❡ ♣♦✉r ❝ré❡r ❞❡s ❝♦♠♣♦s❛♥ts ❞✐str✐❜✉és ✭❝✬❡st✲à✲❞✐r❡ ❞é♣❧♦②és s✉r ❞❡s

s❡r✈❡✉rs ❞✐st❛♥ts✮ ❤é❜❡r❣és ❛✉ s❡✐♥ ❞✬✉♥ s❡r✈❡✉r ❞✬❛♣♣❧✐❝❛t✐♦♥s

✸ ♣❡r♠❡tt❛♥t ❞❡ r❡♣rés❡♥t❡r ❞❡s

❞♦♥♥é❡s ✭❊❏❇ ❞✐t ❡♥t✐té✮✱ ❞❡ ♣r♦♣♦s❡r ❞❡s s❡r✈✐❝❡s ❛✈❡❝ ♦✉ s❛♥s ♠é♠♦r✐s❛t✐♦♥ ❞✬ét❛ts ❡♥tr❡
❧❡s ❛♣♣❡❧s ✭❊❏❇ ❞✐t s❡ss✐♦♥✮✱ ♦✉ ❡♥❝♦r❡ ❞✬❛❝❝♦♠♣❧✐r ❞❡s tâ❝❤❡s ❞❡ ♠❛♥✐èr❡ ❛s②♥❝❤r♦♥❡ ✭❊❏❇
❞✐t ♠❡ss❛❣❡✮✳ ❊♥ ❞✬❛✉tr❡s t❡r♠❡s✱ ❊❏❇ ❡st ✉♥ ♠♦❞è❧❡ ❞❡ ❝♦♠♣♦s❛♥ts ♣♦✉r ❧❡ ❞é✈❡❧♦♣♣❡♠❡♥t
❞❡s ❛♣♣❧✐❝❛t✐♦♥s ❞✬❡♥tr❡♣r✐s❡s t❡❧❧❡s q✉❡ ❞❡s s✐t❡s ✇❡❜ ✭❞❡ ❝♦♠♠❡r❝❡ ❡♥ ❧✐❣♥❡✱ ❞❡ tr❛✈❛✐❧ ❝♦❧❧❛✲
❜♦r❛t✐❢✱ ❝♦♠♠✉♥❛✉t❛✐r❡s✱ ❡t❝✳✮✱ ❞❡s s②stè♠❡s ❞✬✐♥❢♦r♠❛t✐♦♥✱ ❞❡s ❛♣♣❧✐❝❛t✐♦♥s ❞❡ ❣❡st✐♦♥✱ ❡t❝✳
▲❛ ♥♦t✐♦♥ ❞❡ ✧❇❡❛♥✧ ❡st ❝♦♥s✐❞éré❡ ❝♦♠♠❡ ✉♥ ❊❏❇ ♦✉ ✉♥ ❝♦♠♣♦s❛♥t✳

❉❛♥s ❝❡ ❝♦♥t❡①t❡✱ ❧❛ q✉❡st✐♦♥ ♣♦sé❡ ❡st ✿ q✉✬❡st✲❝❡ q✉✬✉♥ ❝♦♠♣♦s❛♥t ❄ ◆♦✉s ❞✐s♣♦s♦♥s ❞✬✉♥
❝♦♠♣♦s❛♥t

❆

■❆ ❡t ✉♥❡ ✐♥t❡r❢❛❝❡ r❡q✉✐s❡ ■❇✳
❧✬✐♥t❡r❢❛❝❡ ■❆ ❡t ✐♠♣♦rt❡ ❧✬✐♥t❡r❢❛❝❡ ■❇

♠✉♥✐ ❞❡ ❞❡✉① ✐♥t❡r❢❛❝❡s ✿ ✉♥❡ ✐♥t❡r❢❛❝❡ ❢♦✉r♥✐❡

❉❛♥s ❝❡ ❝♦♠♣♦s❛♥t✱ ❧❛ ❝❧❛ss❡ ❏❛✈❛

❆❇❡❛♥

✐♠♣❧❛♥t❡

✭✈♦✐r ✜❣✉r❡ ✷✳✹✮✳

❋✐❣✳ ✷✳✹ ✕ ❯♥ ❝♦♠♣♦s❛♥t ❊❏❇

✷✳✷✳✷ Prés❡♥t❛t✐♦♥ ❞✬✉♥ ❝♦♠♣♦s❛♥t ❊❏❇
❯♥❡ ❞✐✛ér❡♥❝❡ ❡♥tr❡ ❧❡s ❝♦♠♣♦s❛♥ts ❊❏❇s ❡t ❧❛ ♥♦t✐♦♥ ❞❡ ❝♦♠♣♦s❛♥ts ❞❛♥s ❞✬❛✉tr❡s t❡❝❤✲
♥♦❧♦❣✐❡s ✭❈♦r❜❛✱ ✳◆❊❚✱ ❡t❝✳✮ ❡st ❧✬❡①✐st❡♥❝❡ ❞❡ t②♣❡s ❞❡ ❝♦♠♣♦s❛♥ts ❞✐✛ér❡♥ts s❡❧♦♥ ❧❡✉r ✉t✐✲
❧✐s❛t✐♦♥✳ ■❧ ❡①✐st❡ tr♦✐s t②♣❡s ❞❡ ❇❡❛♥s ✿ ❙❡ss✐♦♥ ❇❡❛♥✱ ▼❡ss❛❣❡✲❉r✐✈❡♥ ❇❡❛♥ ❡t ❊♥t✐t② ❇❡❛♥✳
◆♦✉s ❞ét❛✐❧❧♦♥s ❧❡s ❝❛r❛tér✐st✐q✉❡s ❞❡ ❝❤❛q✉❡ t②♣❡✳

✷

❏❛✈❛ P❧❛t❢♦r♠✱ ❊♥t❡r♣r✐s❡ ❊❞✐t✐♦♥✳
❯♥ s❡r✈❡✉r ❞✬❛♣♣❧✐❝❛t✐♦♥s ❡st ✉♥ s❡r✈❡✉r s✉r ❧❡q✉❡❧ s♦♥t ✐♥st❛❧❧é❡s ❧❡s ❛♣♣❧✐❝❛t✐♦♥s ✉t✐❧✐sé❡s ♣❛r ❧❡s ✉s❛❣❡rs✳
❈❡s ❛♣♣❧✐❝❛t✐♦♥s s♦♥t ❝❤❛r❣é❡s s✉r ❧❡ s❡r✈❡✉r ❞✬❛♣♣❧✐❝❛t✐♦♥s ❡t ❛❝❝é❞é❡s à ❞✐st❛♥❝❡✳
✸

✶✸


❛✮ ❙❡ss✐♦♥ ❜❡❛♥s
■❧s ♠♦❞é❧✐s❡♥t ❧❡s ♣r♦❝❡ss✉s ♠ét✐❡rs✱ ❡①♣r✐♠és à ❧✬❛✐❞❡ ❞❡ ✈❡r❜❡s ♣❛r❝❡ q✉✬✐❧s ❡✛❡❝t✉❡♥t ❞❡s
❛❝t✐♦♥s✳

❙❡ss✐♦♥ ❇❡❛♥s s♦♥t ❞✐✈✐sés ❡♥ ❞❡✉① s♦✉s✲t②♣❡s ✿ ❙t❛t❡❧❡ss ❙❡ss✐♦♥ ❇❡❛♥s ❡t ❙t❛t❡❢✉❧
❙❡ss✐♦♥ ❇❡❛♥s✳ ▲❡s ❙t❛t❡❧❡ss ❙❡ss✐♦♥ ❇❡❛♥s ♥❡ ♠é♠♦r✐s❡♥t ♣❛s ❧✬✐♥❢♦r♠❛t✐♦♥ rés✉❧t❛t ❞❡s
❞✐✛ér❡♥t❡s r❡q✉êt❡s ❛❧♦rs q✉❡ ❧❡s ❙t❛t❡❢✉❧ ❙❡ss✐♦♥ ❇❡❛♥s ♠é♠♦r✐s❡♥t ❞❡s ét❛ts✳
▲❡s

▲❡s ♣r✐♥❝✐♣❛❧❡s ❞✐✛ér❡♥❝❡s ❡♥tr❡ ❝❡s ❞❡✉① t②♣❡s ❞❡ ❙❡ss✐♦♥ ❇❡❛♥s s♦♥t ♣rés❡♥tés ❞❛♥s ❧❡
t❛❜❧❡❛✉ ✷✳✶✳

❙t❛t❡❧❡ss ❙❡ss✐♦♥ ❇❡❛♥s

❙t❛t❡❢✉❧ ❙❡ss✐♦♥ ❇❡❛♥s

✲ ❙❛♥s ét❛t

✲ ❆✈❡❝ ✉♥ ét❛t ✭❡♥ ♠é♠♦✐r❡✮

✲ ◆❡ ❝♦♥s❡r✈❡♥t ♣❛s ❞✬✐♥❢♦r♠❛t✐♦♥ ❡♥tr❡

✲ ▼é♠♦r✐s❡♥t ❧❡s ✐♥❢♦r♠❛t✐♦♥s

❞❡✉① ❛♣♣❡❧s s✉❝❝❡ss✐❢s
✲

❉❡✉①

✐♥st❛♥❝❡s

q✉❡❧❝♦♥q✉❡s

❞✬✉♥

t❡❧

✲ ▼ê♠❡ ✐♥st❛♥❝❡ ♣❡♥❞❛♥t t♦✉t❡ ❧❛ ❞✉ré❡

❇❡❛♥ s♦♥t éq✉✐✈❛❧❡♥t❡s

❞✬✉♥❡ s❡ss✐♦♥ ❛✈❡❝ ✉♥ ❝❧✐❡♥t

✲ ❯♥❡ ✐♥st❛♥❝❡ ♣❛r ❛♣♣❡❧

✲ ❯♥❡ ✐♥st❛♥❝❡ ♣❛r ❝❧✐❡♥t

❚❛❜✳ ✷✳✶ ✕ ❉✐✛ér❡♥❝❡s ❡♥tr❡ ❙t❛t❡❧❡ss ❙❡ss✐♦♥ ❇❡❛♥s ❡t ❙t❛t❡❢✉❧ ❙❡ss✐♦♥ ❇❡❛♥s

❉❛♥s ❧❡ ❝♦♠♣♦s❛♥t ❞❡ t②♣❡

❙❡ss✐♦♥ ❇❡❛♥✱ ♥♦✉s ❞é❝❧❛r♦♥s ❛✉ss✐ ❧❡ t②♣❡ ❞✬✉t✐❧✐s❛t✐♦♥ ✿ ❧♦❝❛❧❡

✭❅▲♦❝❛❧✮ ♦✉ à ❞✐st❛♥❝❡ ✭❅❘❡♠♦t❡✮ ✈✐❛ ❞❡s ❛♥♥♦t❛t✐♦♥s ❏❛✈❛✳ ❈❡ s♦♥t ❞❡✉① ♥♦t✐♦♥s q✉❡ ♥♦✉s
✉t✐❧✐s❡r♦♥s s♦✉✈❡♥t ❞❛♥s ❧✬❛♣♣❧✐❝❛t✐♦♥ ❝❧✐❡♥t✴s❡r✈❡✉r✳ ◆♦✉s ♣rés❡♥t♦♥s ❧❛ ❞✐✛ér❡♥❝❡ ❡♥tr❡ ❝❡s
❞❡✉① t②♣❡s ❞✬✉t✐❧✐s❛t✐♦♥ ❞❛♥s ❧❛ ✜❣✉r❡ ✷✳✺✳

❋✐❣✳ ✷✳✺ ✕ ❉✐✛ér❡♥❝❡ ❡♥tr❡

❅❘❡♠♦t❡

❡t

❅▲♦❝❛❧

P♦✉r ❧❡ t②♣❡ ❞✬✉t✐❧✐s❛t✐♦♥ à ❞✐st❛♥❝❡✱ ❧✬❛♣♣❧✐❝❛t✐♦♥ ❝ôté ❝❧✐❡♥t ❡t ❧❡s ❝♦♠♣♦s❛♥ts ❊❏❇s
q✉✬❡❧❧❡ ✉t✐❧✐s❡ s♦♥t ❞é♣❧♦②és s✉r ❞❡s ♠❛❝❤✐♥❡s ❞✐✛ér❡♥t❡s ❛❧♦rs q✉❡ ❞❛♥s ❧✬✉t✐❧✐s❛t✐♦♥ ❧♦❝❛❧❡✱ ✐❧s
s♦♥t ❞é♣❧♦②és s✉r ❧❡ ♠ê♠❡ ♠❛❝❤✐♥❡✳

❜✮ ▼❡ss❛❣❡✲❉r✐✈❡♥ ❇❡❛♥s
❙❡ss✐♦♥ ❇❡❛♥s✳ ▲❛ ❞✐✛ér❡♥❝❡
❡♥tr❡ ❝❡s ❞❡✉① t②♣❡s ❞❡ ❝♦♠♣♦s❛♥ts✱ ❝✬❡st q✉❡ ❧❡s ▼❡ss❛❣❡✲❉r✐✈❡♥ ❇❡❛♥s s♦♥t ❛♣♣❡❧és à ❧✬❛✐❞❡
▲❡s

▼❡ss❛❣❡✲❉r✐✈❡♥ ❇❡❛♥s

❡✛❡❝t✉❡♥t ❞❡s ❛❝t✐♦♥s ❝♦♠♠❡ ❧❡s

❞✬✉♥ s②stè♠❡ ❞❡ ♠❡ss❛❣❡s✱ ❝✬❡st✲à✲❞✐r❡ q✉✬✐❧ ♥✬❡①✐st❡ ♣❛s ❞❡ ❝❤❡♠✐♥ ❞✐r❡❝t ♣♦✉r ❛♣♣❡❧❡r ✉♥❡
♠ét❤♦❞❡ ❞✬✉♥ ▼❡ss❛❣❡✲❉r✐✈❡♥ ❇❡❛♥✳

❝✮ ❊♥t✐t② ❇❡❛♥s
■❧s ♠♦❞é❧✐s❡♥t ❧❡s ❞♦♥♥é❡s ♠ét✐❡rs✳ ❈❡ s♦♥t ❞❡s ♥♦♠s ❝♦rr❡s♣♦♥❞❛♥t ❛✉① ♦❜❥❡ts✳

✶✹


▲❡s

❊♥t✐t② ❇❡❛♥s

♥✬♦♥t ♣❛s ❞✬✐♥t❡r❢❛❝❡✳ ■❧s s♦♥t ✉t✐❧✐sés ❧♦❝❛❧❡♠❡♥t✳ ■❧s ♣❡✉✈❡♥t ❛✉ss✐ êtr❡

✉t✐❧✐sés à ❞✐st❛♥❝❡ à ❧✬❛✐❞❡ ❧❡s

❙❡ss✐♦♥ ❇❡❛♥s✳

❞✮ ❙②♥t❤ès❡
▲❡ t❛❜❧❡❛✉ ✷✳✷ ♣rés❡♥t❡ ❧❡s ❞✐✛ér❡♥❝❡s ❡♥tr❡ ❧❡s tr♦✐s t②♣❡s ❞❡ ❇❡❛♥s ❬✼❪✳

❙❡ss✐♦♥ ❇❡❛♥s

▼❡ss❛❣❡✲❉r✐✈❡♥ ❇❡❛♥s

❊♥t✐t② ❇❡❛♥s

✲ ❙✬❡①é❝✉t❡♥t ❛✉ ♥♦♠ ❞✬✉♥

✲ ❙✬❡①é❝✉t❡♥t s❡❧♦♥ ❧✬❛❝❝✉sé ❞❡
ré❝❡♣t✐♦♥ ❞✬✉♥ ♠❡ss❛❣❡ ❞✬✉♥
❝❧✐❡♥t s✐♠♣❧❡

✲ ▼♦❞✐✜❡♥t ❞❡s ❞♦♥♥é❡s ♣❛rt❛✲
❣é❡s ❞❛♥s ❧❛ ❜❛s❡ ❞❡ ❞♦♥♥é❡s

✲ P❡✉✈❡♥t ♠♦❞✐✜❡r ❞❡s ❞♦♥♥é❡s
♣❛rt❛❣é❡s ❞❛♥s ❧❛ ❜❛s❡ ❞❡ ❞♦♥✲
♥é❡s
✲ ◆❡ r❡♣rés❡♥t❡♥t ♣❛s ❞✐r❡❝✲
t❡♠❡♥t ❞❡s ❞♦♥♥é❡s ♣❛rt❛❣é❡s
❞❛♥s ❧❛ ❜❛s❡ ❞❡ ❞♦♥♥é❡s q✉♦✐✲
q✉✬✐❧s ♣❡✉✈❡♥t ② ❛❝❝é❞❡r ❡t ❧❡s
♠♦❞✐✜❡r
✲ ❉✉r❡♥t ♣❡✉ ❞❡ t❡♠♣s

✲ ❋♦♥t ♣❛rt✐❡ ❞✬✉♥ ♠♦❞è❧❡ ❞❡
❞♦♠❛✐♥❡✱ ❢♦✉r♥✐ss❡♥t ✉♥❡ ✈✉❡
❞✬♦❜❥❡t ❞❡ ❞♦♥♥é❡s ❞❛♥s ❧❛ ❜❛s❡
❞❡ ❞♦♥♥é❡s

❝❧✐❡♥t s✐♠♣❧❡ ❛

✲ ◆❡ r❡♣rés❡♥t❡♥t ♣❛s ❞✐r❡❝✲

t❡♠❡♥t ❞❡s ❞♦♥♥é❡s ♣❛rt❛❣é❡s
❞❛♥s ❧❛ ❜❛s❡ ❞❡ ❞♦♥♥é❡s q✉♦✐
q✉✬✐❧s ♣❡✉✈❡♥t ② ❛❝❝é❞❡r ❡t ❧❡s
♠♦❞✐✜❡r
✲ ❉✉r❡♥t ♣❡✉ ❞❡ t❡♠♣s
✲ ❙♦♥t ❞étr✉✐ts ❛✈❡❝ ❧❡ ❝♦♥t❡✲
♥❡✉r ❞✬❊❏❇✳ ▲❡ ❝❧✐❡♥t ❞♦✐t rét❛✲
❜❧✐r ✉♥ ♥♦✉✈❡❧ ♦❜❥❡t ❞❡ s❡ss✐♦♥
♣♦✉r ❝♦♥t✐♥✉❡r ❧❡s ❝❛❧❝✉❧s

✲ ❯♥ ❝♦♥t❡♥❡✉r ❞✬❊❏❇ t②✲
♣✐q✉❡ ❢♦✉r♥✐t ✉♥ ❡♥✈✐r♦♥♥❡♠❡♥t
❞✬❡①é❝✉t✐♦♥ ✭r✉♥t✐♠❡ ❡♥✈✐r♦♥✲
♠❡♥t✮ ♣♦✉r ✉♥ ❣r❛♥❞ ♥♦♠❜r❡
❞✬♦❜❥❡ts ❞❡ s❡ss✐♦♥s ❝♦♥❝✉r✲
r❡♥t❡s✳ ▲❛ s♣é❝✐✜❝❛t✐♦♥ ❊❏❇ ❞é✲
✜♥✐t ❧❡s ❙t❛t❡❢✉❧ ❡t ❙t❛t❡❧❡ss
❙❡ss✐♦♥ ❇❡❛♥s

✲ ❙♦♥t ❞étr✉✐ts ❛✈❡❝ ❧❡ ❝♦♥t❡✲
♥❡✉r ❞✬❊❏❇✳ ▲❡ ❝♦♥t❡♥❡✉r ❞♦✐t
rét❛❜❧✐r ✉♥ ♥♦✉✈❡❧ ♦❜❥❡t ❞❡
▼❡ss❛❣❡✲❉r✐✈❡♥ ♣♦✉r ❝♦♥t✐♥✉❡r
❧❡s ❝❛❧❝✉❧s

✲ ❙♦♥t ❛♣♣❡❧és ❞❡ ♠❛♥✐èr❡ ❛s②♥✲
❝❤r♦♥❡
✲ ❙❛♥s ét❛t
✲ ❯♥ ❝♦♥t❡♥❡✉r ❞✬❊❏❇ t②✲
♣✐q✉❡ ❢♦✉r♥✐t ✉♥ ❡♥✈✐r♦♥♥❡♠❡♥t

❞✬❡①é❝✉t✐♦♥ ♣♦✉r ✉♥ ❣r❛♥❞
♥♦♠❜r❡ ❞✬♦❜❥❡ts ❞❡ ▼❡ss❛❣❡✲
❉r✐✈❡♥ ❞❡ ♠❛♥✐èr❡ ❝♦♥❝✉rr❡♥t❡

✲ ❉✉r❡♥t ❧♦♥❣t❡♠♣s ✭❧❡✉r ❞✉ré❡
❞❡ ✈✐❡ ❡st ❧❛ ♠ê♠❡ q✉❡ ❝❡❧❧❡ ❞❡s
❞♦♥♥é❡s ❞❡ ❧❛ ❜❛s❡ ❞❡ ❞♦♥♥é❡s✮
✲ ▲✬❡♥t✐té ❡t s❛ ❝❧é ♣r✐♠❛✐r❡
s✉r✈✐✈❡♥t ❛♣rès ❞❡str✉❝t✐♦♥ ❞✉
❝♦♥t❡♥❡✉r ❞✬❊❏❇✳ ❙✐ ❧✬ét❛t ❞✬✉♥❡
❡♥t✐té ❡st ♠♦❞✐✜é ♣❛r ✉♥❡ tr❛♥✲
s❛❝t✐♦♥ ❧♦rs ❞❡ ❧❛ ❞❡str✉❝t✐♦♥ ❞✉
❝♦♥t❡♥❡✉r✱ ❧✬ét❛t ❞❡ ❧✬❡♥t✐té ❡st
r❡❝♦♥st✐t✉é à ♣❛rt✐r ❞❡ ❧✬ét❛t ❞❡
❧❛ ❞❡r♥✐èr❡ tr❛♥s❛❝t✐♦♥ ❡✛❡❝t✉é❡

✲ ❯♥ ❝♦♥t❡♥❡✉r ❞✬❊❏❇ ❡t ❧❡
s❡r✈❡✉r ❢♦✉r♥✐ss❡♥t ✉♥ ❡♥✈✐r♦♥✲
♥❡♠❡♥t ❞✬❡①é❝✉t✐♦♥ ♣♦✉r ✉♥
❣r❛♥❞ ♥♦♠❜r❡ ❞✬♦❜❥❡ts ❞✬❡♥t✐tés
❝♦♥❝✉rr❡♥t❡s

s✐♥❣❧❡ ❝❧✐❡♥t ❡♥ ❛♥❣❧❛✐s✱ ❝✬❡st✲à✲❞✐r❡ q✉❡ ❝❤❛q✉❡ ✐♥st❛♥❝❡ ❞❡ ❙❡ss✐♦♥ ❇❡❛♥ s✉♣♣♦rt❡ s❡✉❧❡♠❡♥t ✉♥ ❝❧✐❡♥t✳ ❙✐
❞❡✉① ❝❧✐❡♥ts ❛♣♣❡❧❧❡♥t ✉♥❡ ♠ê♠❡ ✐♥st❛♥❝❡ ❞❡ ❙❡ss✐♦♥ ❇❡❛♥✱ ✐❧ ② ❛ ✉♥❡ ❡rr❡✉r✳
❛

❚❛❜✳ ✷✳✷ ✕ ❈❛r❛❝tér✐st✐q✉❡s ❞❡s tr♦✐s t②♣❡s ❞❡ ❇❡❛♥s

✶✺

✷✳✷✳✸ ❊①❡♠♣❧❡
◆♦✉s ♣rés❡♥t♦♥s ❞❛♥s ❧❡ ✜❣✉r❡

✷✳✻ ✉♥ ❡①❡♠♣❧❡ ❣é♥ér✐q✉❡ ❞✬❛♣♣❧✐❝❛t✐♦♥ ❝❧✐❡♥t✴s❡r✈❡✉r

❝♦♠♣❧❡t ❡♥ ✉t✐❧✐s❛♥t ❞❡s ❊❏❇s✳

❋✐❣✳ ✷✳✻ ✕ ❊①❡♠♣❧❡ ❞❡ ❝♦♠♣♦s❛♥t ❊❏❇

❉❛♥s ❝❡t ❡①❡♠♣❧❡✱

■❇

❡t

■❈

❇ ❡t ❈ s♦♥t ❞❡s ❝♦♠✲
■❈✳ ❆ ❡st ✉♥❡ ❛♣♣❧✐❝❛t✐♦♥

s♦♥t ❞❡s ✐♥t❡r❢❛❝❡s ❞é❝r✐t❡s ❡♥ ❏❛✈❛✳

■❇

♣♦s❛♥ts ❊❏❇s ❝ôté s❡r✈❡✉r ❞♦♥t ❧❡s ✐♥t❡r❢❛❝❡s ❢♦✉r♥✐❡s s♦♥t

❡t

❝❧✐❡♥t é❝r✐t❡ ❡♥ ❏❛✈❛✳ ◆♦✉s ♣rés❡♥t♦♥s ❧❡s ✐♥t❡r❢❛❝❡s ■❇ ❡t ■❈ ✭✈♦✐r ✜❣✉r❡ ✷✳✼✮✳

♣❛❝❦❛❣❡

♣❛❝❦❛❣❡

❝♦♠♣♦♥❡♥t❴❇ ❀

❝♦♠♣♦♥❡♥t❴❈ ❀

♣✉❜❧✐❝ ✐ ♥ t ❡ r ❢ ❛ ❝ ❡ ■ ❇ ④
♣✉❜❧✐❝ ✈♦✐❞ ♠❡t❤♦❞❡❇ ✭ ✮ ❀

♣✉❜❧✐❝ ✐ ♥ t ❡ r ❢ ❛ ❝ ❡ ■ ❈ ④
♣✉❜❧✐❝ ✈♦✐❞ ♠❡t❤♦❞❡❈ ✭ ✮ ❀

⑥

⑥

❋✐❣✳ ✷✳✼ ✕ ❈♦❞❡ s♦✉r❝❡ ❞❡s ✐♥t❡r❢❛❝❡s

■❇

❡t

■❈

▲❡s ❝♦♠♣♦s❛♥ts ❇ ❡t ❈ ✭✜❣✉r❡ ✷✳✽✮ s♦♥t ❞é❝❧❛rés ❡♥ ✉t✐❧✐s❛♥t ❞❡s ❛♥♥♦t❛t✐♦♥s ❞✬❊❏❇✳

♣❛❝❦❛❣❡

✐♠♣♦rt
✐♠♣♦rt
✐♠♣♦rt
✐♠♣♦rt

❝♦♠♣♦♥❡♥t❴❇ ❀
❥ ❛ ✈ ❛ ① ✳ ❡ ❥ ❜ ✳ ❘❡♠♦t❡ ❀
❥❛✈❛① ✳ ❡❥❜ ✳ ❙t❛t❡❧❡ss ❀

♣❛❝❦❛❣❡

❥ ❛ ✈ ❛ ① ✳ ❡ ❥ ❜ ✳ ❊❏❇ ❀
❝♦♠♣♦♥❡♥t❴❈ ✳ ■ ❈ ❀

✐♠♣♦rt
✐♠♣♦rt

❅❙t❛t❡❧❡ss
❅❘❡♠♦t❡

♣✉❜❧✐❝ ❝ ❧ ❛ s s

❇❇❡❛♥

✐♠♣❧❡♠❡♥ts

❥❛✈❛① ✳ ❡❥❜ ✳ ❙t❛t❡❧❡ss ❀

❅▲♦❝❛❧

♣✉❜❧✐❝ ❝ ❧ ❛ s s ❈❇❡❛♥ ✐♠♣❧❡♠❡♥ts
♣✉❜❧✐❝ ✈♦✐❞ ♠❡t❤♦❞❡❈ ✭ ✮ ④

■❈ ❝ ❀

♣✉❜❧✐❝ ✈♦✐❞

❥❛✈❛① ✳ ❡❥❜ ✳ ▲♦❝❛❧ ❀

❅❙t❛t❡❧❡ss

■❇ ④

❅❊❏❇

♣r✐✈❛t❡

❝♦♠♣♦♥❡♥t❴❈ ❀

■❈ ④

✳✳✳✳✳

♠❡t❤♦❞❡❇ ✭ ✮ ④

⑥

✳✳✳✳

⑥

❝ ✳ ♠❡t❤♦❞❡❈ ✭ ✮ ❀
✳✳✳✳
⑥
⑥

❋✐❣✳ ✷✳✽ ✕ ❈♦❞❡ s♦✉r❝❡ ❞❡s ❝♦♠♣♦s❛♥ts

▲❛ ❝❧❛✉s❡

❡t

❈

❇❇❡❛♥ ❞✉ ❝♦♠♣♦s❛♥t ❇✱ ❅❙t❛t❡❧❡ss ♣ré❝✐s❡ q✉✬✐❧ s✬❛❣✐t ❞✬✉♥ ❙t❛t❡❧❡ss ❙❡ss✐♦♥
❅❘❡♠♦t❡ ♣ré❝✐s❡ q✉❡ ❧✬❛♣♣❧✐❝❛t✐♦♥ ❆ ✭q✉✐ ✉t✐❧✐s❡ ❇ ✮ ❡t ❧❡ ❝♦♠♣♦s❛♥t ❇ ♥❡

❉❛♥s ❧❛ ❝❧❛ss❡

❇❡❛♥✳

❇

s♦♥t ♣❛s ❞é♣❧♦②és ❧❛ ♠ê♠❡ ♠❛❝❤✐♥❡✳

✶✻


❈ ❡st ❞é✜♥✐ ❞❡ ❧❛ ♠ê♠❡ ♠❛♥✐èr❡ q✉❡ ❇✳ ❉❛♥s ❧❛ ❝❧❛ss❡ ❈❇❡❛♥✱ ♥♦✉s ❞é❝❧❛r♦♥s
❅▲♦❝❛❧ ♣❛r❝❡ q✉❡ ❇ ✭q✉✐ ✉t✐❧✐s❡ ❈ ✮ ❡t ❈ s♦♥t s✉r ❧❡ ♠ê♠❡ s❡r✈❡✉r✳

▲✬❛♣♣❧✐❝❛t✐♦♥ ❆ ❝ôté ❝❧✐❡♥t ✭✈♦✐r ✜❣✉r❡ ✷✳✾✮ ❞é❝❧❛r❡ ❅❊❏❇ ♣♦✉r ✉t✐❧✐s❡r ❞❡s ❝♦♠♣♦s❛♥ts
❊❏❇s ❝ôté s❡r✈❡✉r✳
▲❡ ❝♦♠♣♦s❛♥t

✐♠♣♦rt

❥ ❛ ✈ ❛ ① ✳ ❡ ❥ ❜ ✳ ❊❏❇ ❀

✐♠♣♦rt

❝♦♠♣♦♥❡♥t❴❇ ✳ ■ ❇ ❀

♣✉❜❧✐❝ ❝ ❧ ❛ s s

❆ ④

❅❊❏❇

♣ r ✐ ✈ ❛ t ❡ s t ❛ t ✐ ❝ ■❇ ❜ ❀
♣✉❜❧✐❝ s t ❛ t ✐ ❝ ✈♦✐❞

♠❛✐♥ ✭ ❙ t r ✐ ♥ ❣ ❬ ❪

❛r❣s ✮ ④

✳✳✳✳
❜ ✳ ♠❡t❤♦❞❡❇ ✭ ✮ ❀
✳✳✳✳
⑥
⑥

❋✐❣✳ ✷✳✾ ✕ ❈♦❞❡ s♦✉r❝❡ ❞❡ ❧✬❛♣♣❧✐❝❛t✐♦♥

❆

✷✳✸ ❏❛✈❛ ▼♦❞❡❧✐♥❣ ▲❛♥❣✉❛❣❡
✷✳✸✳✶ ❉é✜♥✐t✐♦♥
❏❛✈❛ ▼♦❞❡❧✐♥❣ ▲❛♥❣✉❛❣❡ ✭❏▼▲✮ ❡st ✉♥ ❧❛♥❣❛❣❡ ❞❡ s♣é❝✐✜❝❛t✐♦♥s ❢♦r♠❡❧❧❡s ❞❡ ❝♦♠♣♦rt❡✲
♠❡♥ts ❞✬✐♥t❡r❢❛❝❡ ♣♦✉r ❏❛✈❛✳ ■❧ ♣❡r♠❡t ❞❡ s♣é❝✐✜❡r ❢♦r♠❡❧❧❡♠❡♥t ❧❡ ❝♦♠♣♦rt❡♠❡♥t ❞✬✉♥❡ ❝❧❛ss❡
❏❛✈❛✳ ▲❡ ❝♦♠♣♦rt❡♠❡♥t ❞é❝r✐t ❝❡ q✉✐ s❡ ♣❛ss❡ q✉❛♥❞ ✉♥❡ ♠ét❤♦❞❡ ❡st ❛♣♣❡❧é❡✳ ▲❡ ❝♦♠♣♦rt❡✲
♠❡♥t ❞✬✉♥❡ ♠ét❤♦❞❡ ❡st s♣é❝✐✜é à ❧✬❛✐❞❡ ❞❡ ♣ré❝♦♥❞✐t✐♦♥s ❡t ♣♦st❝♦♥❞✐t✐♦♥s ❬✶✻✱ ✶✼✱ ✷✽❪✳

✷✳✸✳✷ ❙♣é❝✐✜❝❛t✐♦♥
■❧ ② ❛ tr♦✐s ♥♦t✐♦♥s ✐♠♣♦rt❛♥t❡s ❞❛♥s ✉♥❡ s♣é❝✐✜❝❛t✐♦♥ ❏▼▲ ✿
✕ ■♥✈❛r✐❛♥t ✿ ♣r♦♣r✐été t♦✉❥♦✉rs ✈r❛✐❡ q✉❡❧ q✉❡ s♦✐t ❧✬ét❛t ❞✉ s②stè♠❡
✕ Pré❝♦♥❞✐t✐♦♥ ✿ ♣r♦♣r✐été q✉✐ ❞♦✐t êtr❡ ✈ér✐✜é❡ ❛✈❛♥t ❧✬❛♣♣❡❧ ❞✬✉♥❡ ♠ét❤♦❞❡
✕ P♦st❝♦♥❞✐t✐♦♥ ✿ ♣r♦♣r✐été ✈ér✐✜é❡ ❛♣rès ❧✬❡①é❝✉t✐♦♥ ❞✬✉♥❡ ♠ét❤♦❞❡
❉❛♥s ❧❛ s✉✐t❡✱ ♥♦✉s ♣rés❡♥t♦♥s ❡♥ ❞ét❛✐❧ ❧❡s ♥♦t✐♦♥s r❡❧❛t✐✈❡s à ♥♦tr❡ tr❛✈❛✐❧ ✿

❛✮ ❚②♣❡s ❞❡ ❝❧❛✉s❡s
❯♥❡ ♠♦❞é❧✐s❛t✐♦♥ ❏▼▲ ❡st ❝♦♠♣♦sé❡ ❞❡ ❝❧❛✉s❡s ✭♣ré❞✐❝❛ts✮ ❞é❝r✐✈❛♥t ❧❛ ❝❧❛ss❡ ❡t ❧❡s ♠é✲
t❤♦❞❡s✳

❙♣é❝✐✜❝❛t✐♦♥ ❞❡ t②♣❡s

❈✬❡st ❧❛ ♣❛rt✐❡ st❛t✐q✉❡ ❞✉ ♠♦❞è❧❡✱ ❡❧❧❡ ❝♦♥t✐❡♥t ❞❡s ♣r♦♣r✐étés q✉✐

♣♦rt❡♥t s✉r ❧❡s ❛ttr✐❜✉ts ❞❡ ❧❛ ❝❧❛ss❡ ❬✶✼❪ ✿
✕ ❈♦♥str❛✐♥t❡s ✐♥✐t✐❛❧❡s ✭❝❧❛✉s❡

✐♥✐t✐❛❧❧② predicatJM L ✮

✿ ❧❡s ♣r♦♣r✐étés q✉✐ ❞♦✐✈❡♥t êtr❡

ét❛❜❧✐❡s à ❧❛ ❝ré❛t✐♦♥ ❞❡ ❧✬♦❜❥❡t
✕ ■♥✈❛r✐❛♥ts ❞❡ ❝❧❛ss❡ ✭❝❧❛✉s❡

✐♥✈❛r✐❛♥t predicatJM L ✮

✿ ❝❡ s♦♥t ❧❡s ♣r♦♣r✐étés ♣♦rt❛♥t

✹ ❞✉

s✉r ❧❡s ❛ttr✐❜✉ts ❞❡ ❧❛ ❝❧❛ss❡ q✉✐ ❞♦✐✈❡♥t êtr❡ ✈r❛✐❡s ❞❛♥s t♦✉s ❧❡s ét❛ts ✧✈✐s✐❜❧❡s✧

✹

❊t❛ts ✧✈✐s✐❜❧❡s✧ ✿ ét❛ts ❛tt❡✐♥ts ❛♣rès ❧✬❡①é❝✉t✐♦♥ ❞✬✉♥❡ ♠ét❤♦❞❡
✶✼


s②stè♠❡
✕ ❈♦♥str❛✐♥t❡s ❤✐st♦r✐q✉❡s ✭❝❧❛✉s❡

❝♦♥str❛✐♥t predicatJM L ✮ ✿ ❡①♣r✐♠❡♥t ❧❛ ♣r♦♣r✐été ❡♥tr❡

✉♥ ét❛t ✈✐s✐❜❧❡ ❡t ❧✬ét❛t ✈✐s✐❜❧❡ ♣ré❝é❞❡♥t ❀ ❡❧❧❡ ❞♦✐t êtr❡ ✈r❛✐❡ ❞❛♥s t♦✉s ❧❡s ét❛ts ❞✉
s②stè♠❡ ✭✐♥✈❛r✐❛♥t ❞②♥❛♠✐q✉❡✮

❙♣é❝✐✜❝❛t✐♦♥ ❞❡ ♠ét❤♦❞❡s

❈✬❡st ❧❛ ♣❛rt✐❡ ❞②♥❛♠✐q✉❡ ❞✉ ♠♦❞è❧❡✱ ❡❧❧❡ ❝♦♥t✐❡♥t ❞❡s ♣r♦✲

♣r✐étés r❡❧❛t✐✈❡s ❛✉① ❝♦♠♣♦rt❡♠❡♥ts ❛✉t♦r✐sés ❞❡s ♠ét❤♦❞❡s✱ ❡①♣r✐♠é❡s à ❧✬❛✐❞❡ ❞❡s ❝❧❛✉s❡s
s✉✐✈❛♥t❡s ✿
✕ Pré❝♦♥❞✐t✐♦♥ ✭❝❧❛✉s❡

r❡q✉✐r❡s predicatJM L ✮

✿ ❝♦♥❞✐t✐♦♥ q✉✐ ❞♦✐t êtr❡ r❡♠♣❧✐❡ ♣❛r ❧❡

s②stè♠❡ ❡t ❧❡s ♣❛r❛♠ètr❡s ❞❡ ❧❛ ♠ét❤♦❞❡ ♣♦✉r q✉❡ ❧❛ ♠ét❤♦❞❡ ♣✉✐ss❡ êtr❡ ❡①é❝✉té❡
✕ ❉✐✈❡r❣❡♥❝❡ ✭❝❧❛✉s❡

❞✐✈❡r❣❡s predicatJM L ✮

✿ ❝♦♥❞✐t✐♦♥ s♦✉s ❧❛q✉❡❧❧❡ ❧❛ ♠ét❤♦❞❡ ♣❡✉t ♥❡

♣❛s t❡r♠✐♥❡r✱ ✐✳❡✳ ❜♦✉❝❧❡s ✐♥✜♥✐❡s
✕ ❈❤❛♠♣s ♠♦❞✐✜és ✭❝❧❛✉s❡

❛ss✐❣♥❛❜❧❡ predicatJM L ✮ ✿ ❧✐st❡ ❞❡s ❛ttr✐❜✉ts q✉✐ s♦♥t ♠♦❞✐✜és

♣❛r ❧✬❡①é❝✉t✐♦♥ ❞❡ ❧❛ ♠ét❤♦❞❡
✕ P♦st❝♦♥❞✐t✐♦♥ ♥♦r♠❛❧❡ ✭❝❧❛✉s❡

❡♥s✉r❡s predicatJM L ✮

✿ ❝♦♥❞✐t✐♦♥ q✉❡ ❧❛ ♠ét❤♦❞❡ s✬❡♥✲

❣❛❣❡ à ét❛❜❧✐r ❧♦rsq✉✬❡❧❧❡ t❡r♠✐♥❡ ♥♦r♠❛❧❡♠❡♥t✱ ❝✬❡st✲à✲❞✐r❡ s❛♥s ❧❡✈❡r ❞✬❡①❝❡♣t✐♦♥

❜✮ ▼ét❤♦❞❡s ♣✉r❡s
❯♥❡ ♠ét❤♦❞❡ q✉✐ ♥❡ ♠♦❞✐✜❡ ❛✉❝✉♥ ❛ttr✐❜✉t ❡st ❞✐t❡ ♣✉r❡ ❡t ♣❡✉t êtr❡ ✉t✐❧✐sé❡ ❞❛♥s ❧❡s
♣ré❞✐❝❛ts ❏▼▲✳ ❊❧❧❡ ♥❡ ❞♦✐t ♣❛s ❝❤❛♥❣❡r ❧✬ét❛t ❞✉ s②stè♠❡ ❛✜♥ ❞✬é✈✐t❡r ❞❡s ❡✛❡ts ❞❡ ❜♦r❞✳ ▲❡s
♠ét❤♦❞❡s ❞❡ ❝♦♥s✉❧t❛t✐♦♥ ❞❡s ❝❧❛ss❡s ❞❡ ❧✬❆P■ ❏❛✈❛

✺ s♦♥t ❝♦♥s✐❞éré❡s ❝♦♠♠❡ ♣✉r❡s✳ ❖♥ ♣❡✉t

❞é❝❧❛r❡r q✉✬✉♥❡ ♠ét❤♦❞❡ ❡st ♣✉r❡ à ❧✬❛✐❞❡ ❞✉ ♠♦❞✐✜❡✉r

✧♣✉r❡✧✳ ▲❡ ♠♦❞✐✜❡✉r ♣✉r❡

❛ ❧❡ ♠ê♠❡

s❡♥s❡ q✉❡ ✿

❞✐✈❡r❣❡s ❢❛❧s❡ ❀
❛ss✐❣♥❛❜❧❡ \♥♦t❤✐♥❣ ❀
❝✮ ❊①❝❡♣t✐♦♥s
❊♥ ❏❛✈❛✱ ✉♥❡ ❡①❝❡♣t✐♦♥ ❡st ✉♥ é✈é♥❡♠❡♥t q✉✐ ❛ ❧✐❡✉ ♣❡♥❞❛♥t ❧✬❡①é❝✉t✐♦♥ ❞✬✉♥ ♣r♦❣r❛♠♠❡
q✉✐ ♥❡ s❛t✐s❢❛✐t ♣❛s ❧❡s ✐♥str✉❝t✐♦♥s ♥♦r♠❛❧❡s✳ ❊♥ ❞✬❛✉tr❡s t❡r♠❡s✱ ❞❛♥s ❏▼▲✱ ✉♥❡ ❡①❝❡♣t✐♦♥
❡st ❧❡✈é❡ q✉❛♥❞ ❞❡s ♣♦st❝♦♥❞✐t✐♦♥s ♥♦r♠❛❧❡s ♥❡ s♦♥t ♣❛s ✈ér✐✜é❡s✳
❉❛♥s ❏▼▲✱ ♣♦✉r ❞é✜♥✐r ✉♥❡ ✭♣❧✉s✐❡✉rs✮ ❡①❝❡♣t✐♦♥✭s✮ ❞✬✉♥❡ ♠ét❤♦❞❡✱ ♥♦✉s ✉t✐❧✐s♦♥s ❧❛
♥♦t✐♦♥

P♦st❝♦♥❞✐t✐♦♥ ❡①❝❡♣t✐♦♥♥❡❧❧❡✱ ❡①♣r✐♠é❡ ♣❛r ❧✬❡①♣r❡ss✐♦♥ s✉✐✈❛♥t❡ ✿

s✐❣♥❛❧s ✭❊①❝❡♣t✐♦♥✶ ❡①♣✮ predicatJM L
▲❡

predicatJM L

✐♥❞✐q✉❡ ❧❛ ♣♦st❝♦♥❞✐t✐♦♥ q✉✐ ❞♦✐t êtr❡ ✈ér✐✜é❡ à ❧❛ ✜♥ ❞❡ ❧❛ ♠ét❤♦❞❡ q✉❛♥❞

❡①♣ ❞❡ t②♣❡ ❊①❝❡♣t✐♦♥✶✳
❯♥❡ ❛✉tr❡ ♥♦t✐♦♥ ❡st ❝❡❧❧❡ ❞✬❊①❝❡♣t✐♦♥s ❛✉t♦r✐sé❡s ✿

❝❡❧❧❡✲❝✐ s❡ t❡r♠✐♥❡ ❡♥ ❧❡✈❛♥t ✉♥❡ ❡①❝❡♣t✐♦♥

s✐❣♥❛❧s❴♦♥❧② ❊✶✱ ❊✷ ✳ ✳ ✳
✐♥❞✐q✉❡ q✉❡

❊✶✱ ❊✷ ✳ ✳ ✳

s♦♥t ❧❡s s❡✉❧❡s ❡①❝❡♣t✐♦♥s ❛✉t♦r✐sé❡s à êtr❡ ❧❡✈é❡s ♣❛r ❧❛ ♠ét❤♦❞❡

❝♦♥s✐❞éré❡✳
▲❛ ❢♦r♠❡ ❣é♥ér❛❧❡ ❞✬✉♥ ❝♦♠♣♦rt❡♠❡♥t ❡st ❞é✜♥✐❡ ❞❛♥s ❧❡ ✜❣✉r❡ ✷✳✶✵✳

✺

❏❛✈❛ ❆♣♣❧✐❝❛t✐♦♥ Pr♦❣r❛♠♠✐♥❣ ■♥t❡r❢❛❝❡

✶✽


✴ ∗❅

❜❡❤❛✈✐♦r

❅

r❡q✉✐r❡s

P

❀

✴✴

❞❡❢❛✉❧t

❂

tr✉❡

❅

❞✐✈❡r❣❡s

❉

❀

✴✴

❞❡❢❛✉❧t

❂

❢❛❧s❡

❅

❛ss✐❣♥❛❜❧❡

✴✴

❞❡❢❛✉❧t

❂ ❭ ❡✈❡r②t❤✐♥❣

❆

❀

❅

❡♥s✉r❡s

❅

s✐❣♥❛❧s❴♦♥❧②

❊

❅

s✐❣♥❛❧s

◗

❀

✭❊✮

❙

❅∗ ✴

❚ ♠❡t❤♦❞ ✭ ❚✶ ♣✶ ✱ ✳ ✳ ✳ ✮

❀
❀

✴✴

❞❡❢❛✉❧t

❂

✴✴

❞❡❢❛✉❧t

❊

✴✴

❞❡❢❛✉❧t

❂

t❤r♦✇s

tr✉❡

tr✉❡

❊ ④

✳✳✳
⑥

❋✐❣✳ ✷✳✶✵ ✕ ❋♦r♠❡ ❣é♥ér❛❧❡ ❞✬✉♥❡ s♣é❝✐✜❝❛t✐♦♥ ❏▼▲ ❞✬✉♥❡ ♠ét❤♦❞❡ ❏❛✈❛

❞✮ ❱✐s✐❜✐❧✐té ❞❡ ❏❛✈❛ ❡t ✈✐s✐❜✐❧✐té ❞❡ ❏▼▲
❉❛♥s ❏❛✈❛✱ ♥♦✉s ❛✈♦♥s ♣❧✉s✐❡✉rs ♥✐✈❡❛✉① ❞❡ ✈✐s✐❜✐❧✐té ♣♦✉r ❧❡s ❛ttr✐❜✉ts ❡t ❧❡s ♠ét❤♦❞❡s ✿
✕ ♣❛r ❞é❢❛✉t ✿ ✈✐s✐❜❧❡ ❞❡♣✉✐s t♦✉t❡s ❧❡s ❝❧❛ss❡s ❞✉ ♣❛❝❦❛❣❡
✕
✕
✕

♣✉❜❧✐❝ ✿ ✈✐s✐❜❧❡ ❞❡♣✉✐s ♥✬✐♠♣♦rt❡ q✉❡❧❧❡ ❛✉tr❡ ❝❧❛ss❡
♣r✐✈❛t❡ ✿ ✈✐s✐❜❧❡ ✉♥✐q✉❡♠❡♥t à ❧✬✐♥tér✐❡✉r ❞❡ ❧❛ ❝❧❛ss❡
♣r♦t❡❝t❡❞ ✿ ✈✐s✐❜❧❡ ❞❡♣✉✐s ❧❛ ❝❧❛ss❡✱ ❧❡s s♦✉s✲❝❧❛ss❡s ❡t ♥✬✐♠♣♦rt❡ q✉❡❧❧❡ ❝❧❛ss❡ ❞✉ ♣❛❝❦❛❣❡

▲❡s ❛♥♥♦t❛t✐♦♥s ❏▼▲ s♦♥t ✈✉❡s ❝♦♠♠❡ ✏❡①t❡r♥❡s✑ à ❧❛ ❝❧❛ss❡ ❡t ❞♦✐✈❡♥t ❞♦♥❝ r❡s♣❡❝t❡r
❧❡s ❝♦♥tr❛✐♥t❡s ❞❡ ✈✐s✐❜✐❧✐tés ❞❡ ❏❛✈❛✳ P♦✉r ♠♦❞✐✜❡r ❧❛ ✈✐s✐❜✐❧✐té ❞❡s ❛ttr✐❜✉ts ❡t ❞❡s ♠ét❤♦❞❡s

✉♥✐q✉❡♠❡♥t ❛✉ ♥✐✈❡❛✉ s♣é❝✐✜❝❛t✐♦♥✱ ❏▼▲ ❞é✜♥✐t ❧❡s ❞❡✉① ♠♦❞✐✜❡✉rs s✉✐✈❛♥ts ✿
✕
✕

s♣❡❝❴♣✉❜❧✐❝
s♣❡❝❴♣r♦t❡❝t❡❞

❡✮ P❧✉s✐❡✉rs ❝♦♠♣♦rt❡♠❡♥ts ♣♦✉r ✉♥❡ ♠ét❤♦❞❡
◆♦✉s ♣♦✉✈♦♥s ❞é✜♥✐r ♣❧✉s✐❡✉rs ❝♦♠♣♦rt❡♠❡♥ts ♣♦✉r ✉♥❡ ♠ét❤♦❞❡ à ❧✬❛✐❞❡ ❞❡
❝♦♠❜✐♥❡ ❧❡s ❝♦♠♣♦rt❡♠❡♥ts ❞❡ ♠❛♥✐èr❡ ❞✐s❥♦✐♥t❡ ✭✏♦✉✑✮ ✿
✴ ∗❅

❜❡❤❛✈✐♦r

❅

r❡q✉✐r❡s

❅

❡♥s✉r❡s

◗✶

s✐❣♥❛❧s

✭ ❊✶ ✮

❅
❅

❛❧s♦

❅

❜❡❤❛✈✐♦r

P✶

❀
❀

❅

r❡q✉✐r❡s

❅

❡♥s✉r❡s

◗✷

P✷

❅

s✐❣♥❛❧s

✭ ❊✷ ✮

❊✶ ✱

❊✷ ④

⑥

❙❛ sé♠❛♥t✐q✉❡ ❡st ❧❛ s✉✐✈❛♥t❡ ✿

✶✾

❙✷

❀

❀

❚ ♠❡t❤♦❞ ✭ ✳ ✳ ✳ ✮

t❤r♦✇s

❀

❀

❅∗ ✴

✳✳✳

❙✶

✧❛❧s♦✧

q✉✐


✴ ∗❅

❜❡❤❛✈✐♦r

❅

r❡q✉✐r❡s

❅

❡♥s✉r❡s

❅
❅

P✶

⑤⑤

P✷

❀

P✶ ❂❃ ◗✶
✫ P✷ ❂❃ ◗✷

s✐❣♥❛❧s

✭❊

❀

❡✮

❅

P✶ ❂❃

✭✭ ❡

✐♥st❛♥❝❡♦❢

❊✶ ✮ ❂❃ ❙✶ ✮✫

❅

P✷ ❂❃

✭✭ ❡

✐♥st❛♥❝❡♦❢

❊✷ ✮ ❂❃ ❙✷ ✮

❀

❅∗ ✴

❚ ♠❡t❤♦❞ ✭ ✳ ✳ ✳ ✮

t❤r♦✇s

❊✶ ✱

❊✷ ④

✳✳✳
⑥

❢✮ ❈♦♠♣♦rt❡♠❡♥ts s♣é❝✐✜q✉❡s
◆♦✉s ♣♦✉✈♦♥s ❞✐st✐♥❣✉❡r ❧❡s ❝♦♠♣♦rt❡♠❡♥ts ♥♦r♠❛✉① ❡t ❧❡s ❝♦♠♣♦rt❡♠❡♥ts ❡①❝❡♣t✐♦♥♥❡❧s
❡♥ ✉t✐❧✐s❛♥t ❞❡✉① ♥♦t✐♦♥s ✿
✕

♥♦r♠❛❧❴❜❡❤❛✈✐♦r

✐♥❞✐q✉❡ q✉❡ ❧❡ ❝♦♠♣♦rt❡♠❡♥t ❞é❝r✐t ❝♦rr❡s♣♦♥❞ à ✉♥ ❝❛s ♦ù ❧❛ ♠ét❤♦❞❡

t❡r♠✐♥❡ ♥♦r♠❛❧❡♠❡♥t s❛♥s ❞é❝❧❛♥❝❤❡r ❞✬❡①❝❡♣t✐♦♥✳ ❈❡❧❛ ✈❡✉t ❞✐r❡ q✉❡ ❞❛♥s ❏▼▲✱ ❧❛
❝♦♥❞✐t✐♦♥ ❞❡ ❧❛ ❝❧❛✉s❡

s✐❣♥❛❧s

❡st ❢❛❧s❡ ✿

s✐❣♥❛❧s ✭❊①❝❡♣t✐♦♥✮ ❢❛❧s❡
✕

❡①❝❡♣t✐♦♥❛❧❴❜❡❤❛✈✐♦r

✐♥❞✐q✉❡ q✉❡ ❧❡ ❝♦♠♣♦rt❡♠❡♥t ❞é❝r✐t ❝♦rr❡s♣♦♥❞ à ✉♥ ❝❛s ♦ù ❧❛

♠ét❤♦❞❡ t❡r♠✐♥❡ ❡♥ ❞é❝❧❡♥❝❤❛♥t ✉♥❡ ❡①❝❡♣t✐♦♥✳ ❊♥ ❞✬❛✉tr❡s t❡r♠❡s✱ ❧❛ ❝♦♥❞✐t✐♦♥ ❞❡ ❧❛
❝❧❛✉s❡

❡♥s✉r❡s

❡st ❢❛❧s❡ ✿

❡♥s✉r❡s ❢❛❧s❡

✷✳✸✳✸ ❊①❡♠♣❧❡
◆♦✉s ♣rés❡♥t♦♥s ✉♥ ❡①❡♠♣❧❡ ❞❡ s♣é❝✐✜❝❛t✐♦♥ ✉t✐❧✐s❛♥t ❏▼▲ à ♣❛rt✐r ❞✬✉♥❡ ✐♥t❡r❢❛❝❡

P■❴▲✐❣❤ts

✜❣✉r❡ ✷✳✶✶✳
❉❛♥s ❝❡t ❡①❡♠♣❧❡✱ ♥♦✉s ❛✈♦♥s ✉t✐❧✐sé ❞❡s ❛♥♥♦t❛t✐♦♥s ❏▼▲✱ ❞✐s♣♦sé❡s ❡♥tr❡ ❞❡s ❛♥♥♦t❛t✐♦♥s
❞❡ ❝♦♠♠❡♥t❛✐r❡s s♦✉s ❢♦r♠❡s

✴✯❅ ✳ ✳ ✳❅✯✴✳ ■❧ ❡st ❛✉ss✐ ♣♦ss✐❜❧❡ ❞✬✉t✐❧✐s❡r ❧❛ ❢♦r♠❡ ✴✴❅ ♣♦✉r

❞é❝❧❛r❡r ❞❡s ❛♥♥♦t❛t✐♦♥s ❏▼▲ s✉r ✉♥❡ s❡✉❧❡ ❧✐❣♥❡✳
❉❛♥s ✉♥❡ ✐♥t❡r❢❛❝❡ ❏❛✈❛✱ ✐❧ ♥✬❡①✐st❡ ♣❛s ❞❡ ✈r❛✐❡s ✈❛r✐❛❜❧❡s✳ P♦✉r r❡♣rés❡♥t❡r ❞❡s ✈❛r✐❛❜❧❡s
✉t✐❧✐sé❡s ❞❛♥s ❧❡s ❝♦♠♣♦rt❡♠❡♥ts✱ ♥♦✉s ❞é❝❧❛r♦♥s ❝❡s ✈❛r✐❛❜❧❡s à ❧✬❛✐❞❡ ❞✉ ♠♦❞✐✜❡✉r

▲❡ ♠♦❞✐✜❡✉r

♠♦❞❡❧✳

♠♦❞❡❧ ❡①♣r✐♠❡ q✉✬✉♥ ❛ttr✐❜✉t ❡st ❞é❝❧❛ré s❡✉❧❡♠❡♥t ❛✉ ♥✐✈❡❛✉ s♣é❝✐✜❝❛t✐♦♥✳
P■❴▼▲✐❣❤ts✱ ❧❡s ❞❡✉① ✈❛r✐❛❜❧❡s ❝♦❧♦r ❡t ♠❧❴st❛t❡ s♦♥t ❞é❝❧❛ré❡s ❛✉ ♥✐✈❡❛✉

❉❛♥s ❧✬✐♥t❡r❢❛❝❡

s♣é❝✐✜❝❛t✐♦♥ ❞❡ ❧❛ ♠❛♥✐èr❡ s✉✐✈❛♥t❡ ✿

♠♦❞❡❧ ▼▲❴❈♦❧♦r ❝♦❧♦r ❀
✴✴❅ ♣✉❜❧✐❝ ♠♦❞❡❧ ▼▲✐❣❤ts❴❙❚❆❚❊❙ ♠❧❴st❛t❡ ❀
✴✴❅ ♣✉❜❧✐❝

r❡q✉✐r❡s ✮ ❡t ✉♥❡ ♣♦st✲
❝♦♥❞✐t✐♦♥ ✭❡①♣r✐♠é❡ ♣❛r ❡♥s✉r❡s ✮✳ P♦✉r ❧❛ ♠ét❤♦❞❡ ❝❤❛♥❣❡✭▼▲❴❈♦❧♦r ♥❡✇❈♦❧♦r✮ ✿
✕ ▲❛ ♣ré❝♦♥❞✐t✐♦♥ ✿ ❝♦❧♦r ✦❂ ♥❡✇❈♦❧♦r
✕ ▲❛ ♣♦st❝♦♥❞✐t✐♦♥ ✿ ❝♦❧♦r ❂❂ ♥❡✇❈♦❧♦r
❈❡❧❛ ✈❡✉t ❞✐r❡ q✉✬❛✈❛♥t ❧✬❛♣♣❡❧ ❞❡ ❝❡tt❡ ♠ét❤♦❞❡✱ ❧❡s ✈❛❧❡✉rs ❞❡s ✈❛r✐❛❜❧❡s ❝♦❧♦r ❡t ♥❡✇❈♦❧♦r
❞♦✐✈❡♥t êtr❡ ❞✐✛ér❡♥t❡s ❡t ❡❧❧❡s s❡r♦♥t ✐❞❡♥t✐q✉❡s ❛♣rès ❧✬❡①é❝✉t✐♦♥✳ ▲❛ ❝❧❛✉s❡ ❛ss✐❣♥❛❜❧❡ ❞❛♥s
❝❡tt❡ ♠ét❤♦❞❡ ❡①♣r✐♠❡ q✉❡ ❧❛ ✈❛r✐❛❜❧❡ ❝♦❧♦r ♣❡✉t êtr❡ ♠♦❞✐✜é❡✳
P♦✉r ❝❤❛q✉❡ ♠ét❤♦❞❡✱ ♥♦✉s ❛✈♦♥s ✉♥❡ ♣ré❝♦♥❞✐t✐♦♥ ✭❡①♣r✐♠é❡ ♣❛r

✷✵


✴ ✴❅

♠♦❞❡❧

✐♠♣♦rt

♣✉❜❧✐❝ ✐ ♥ t ❡ r ❢ ❛ ❝ ❡

♦r❣ ✳ ❥ ♠ ❧ s ♣ ❡ ❝ s ✳ ♠♦❞❡❧s ✳ ∗ ❀

P■❴▼▲✐❣❤ts ④

✴ ✴❅

♣✉❜❧✐❝

♠♦❞❡❧

▼▲❴❈♦❧♦r

✴ ✴❅

♣✉❜❧✐❝

♠♦❞❡❧

▼▲✐❣❤ts❴❙❚❆❚❊❙

✴ ∗❅

r❡q✉✐r❡s

❝ ♦ ❧ ♦ r ✦❂

❅

❛ss✐❣♥❛❜❧❡

❅

❡♥s✉r❡s

❝♦❧♦r ❀
♠❧❴st❛t❡ ❀

♥❡✇❈♦❧♦r ❀

❝♦❧♦r ❀

❝♦❧♦r

❂❂ ♥ ❡ ✇ ❈ ♦ ❧ ♦ r ❀

❅∗ ✴

♣✉❜❧✐❝ ✈♦✐❞

✴ ∗❅

r❡q✉✐r❡s

❝ ❤ ❛ ♥ ❣ ❡ ✭ ▼▲❴❈♦❧♦r ♥ ❡ ✇ ❈ ♦ ❧ ♦ r ✮ ❀
♠ ❧ ❴ s t ❛ t ❡ ❂❂ ▼▲✐❣❤ts❴❙❚❆❚❊❙ ✳ ▼▲❴❖❢❢ ❀

❅

❛ss✐❣♥❛❜❧❡

❅

❡♥s✉r❡s

♠❧❴st❛t❡ ❀

♠ ❧ ❴ s t ❛ t ❡ ❂ ▼▲✐❣❤ts❴❙❚❆❚❊❙ ✳ ▼▲❴❖♥ ❀

❅∗ ✴

♣✉❜❧✐❝ ✈♦✐❞

✴ ∗❅

r❡q✉✐r❡s

♦♥ ✭ ✮ ❀
♠ ❧ ❴ s t ❛ t ❡ ❂❂ ▼▲✐❣❤ts❴❙❚❆❚❊❙ ✳ ▼▲❴❖♥ ❀

❅

❛ss✐❣♥❛❜❧❡

❅

❡♥s✉r❡s

♠❧❴st❛t❡

♠ ❧ ❴ s t ❛ t ❡ ❂ ▼▲✐❣❤ts❴❙❚❆❚❊❙ ✳ ▼▲❴❖❢❢ ❀

❅∗ ✴

♣✉❜❧✐❝ ✈♦✐❞

♦❢❢ ✭✮❀

⑥

❋✐❣✳ ✷✳✶✶ ✕ ■♥t❡r❢❛❝❡

P■❴▼▲✐❣❤ts

❡♥ ❏▼▲

✷✳✹ ❈♦♠♣❛t✐❜✐❧✐té ❞❡ s♣é❝✐✜❝❛t✐♦♥s
◆♦✉s ♣rés❡♥t♦♥s ❝❡rt❛✐♥s ❞ét❛✐❧s ❞❡s tr❛✈❛✉① ❞✬❆✳ ▼✳ ❩❛r❡♠s❦✐ ❡t ❏✳ ▼✳ ❲✐♥❣ ❬✸✵✱ ✸✶❪
❡♥ r❡❧❛t✐♦♥ ❛✈❡❝ ♥♦tr❡ ❛♣♣r♦❝❤❡✱ ❡♥ ✈✉❡ ❞❡ ❧❡s ❛♣♣❧✐q✉❡r ♣♦✉r ❞é✜♥✐r ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❡♥tr❡
♠ét❤♦❞❡s s♣é❝✐✜é❡s ❡♥ ❏▼▲✳

✷✳✹✳✶ ❉é✜♥✐t✐♦♥
▲❛ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ s♣é❝✐✜❝❛t✐♦♥s ❡st ✉♥ ♣r♦❝❡ss✉s ♣♦✉r ❞ét❡r♠✐♥❡r s✐ ❞❡✉① ❝♦♠♣♦s❛♥ts
s♦♥t ❝♦♠♣❛r❛❜❧❡s ❡t ✈✐s❡ à ré♣♦♥❞r❡ ❛✉① q✉❡st✐♦♥s s✉✐✈❛♥t❡s ✿
✕ ❘❡❝❤❡r❝❤❡ ✿ ❈♦♠♠❡♥t ❡st✲❝❡ q✉❡ ❥❡ ♣❡✉① tr♦✉✈❡r ✉♥ ❝♦♠♣♦s❛♥t à ♣❛rt✐r ❞✬✉♥❡ ❜✐❜❧✐♦✲
t❤èq✉❡ ❡♥ ✉t✐❧✐s❛♥t s♦♥ ❝♦♠♣♦rt❡♠❡♥t ♣❧✉tôt q✉❡ s❛ str✉❝t✉r❡ s②♥t❛①✐q✉❡ ❄

✕ ❘é✉t✐❧✐s❛t✐♦♥ ✿ ❈♦♠♠❡♥t ❡st✲❝❡ q✉❡ ❥❡ ♣❡✉① ❛❞❛♣t❡r ✉♥ ❝♦♠♣♦s❛♥t à ♣❛rt✐r ❞✬✉♥❡ ❜✐❜❧✐♦✲
t❤èq✉❡ ♣♦✉r s❛t✐s❢❛✐r❡ ❞❡s ❜❡s♦✐♥s ❞✬✉♥ s②stè♠❡ ❄
✕ ❘❡♠♣❧❛❝❡♠❡♥t ✿ ◗✉❛♥❞ ❡st✲❝❡ q✉❡ ❥❡ ♣❡✉① r❡♠♣❧❛❝❡r ✉♥ ❝♦♠♣♦s❛♥t ♣❛r ✉♥ ❛✉tr❡ s❛♥s
♠♦❞✐✜❡r ❧❡ ❝♦♠♣♦rt❡♠❡♥t ❞✉ s②stè♠❡ ❡♥t✐❡r ❄
✕ ❙♦✉s✲t②♣❡ ✿ ◗✉❛♥❞ ❡st✲❝❡ q✉✬✉♥ ♦❜❥❡t ❞✬✉♥ t②♣❡ ❡st ✉♥ s♦✉s✲t②♣❡ ❞✬✉♥ ❛✉tr❡ ♦❜❥❡t ❄
▲❛ s♣é❝✐✜❝❛t✐♦♥ ❞✬✉♥ ❝♦♠♣♦s❛♥t ❈ ❡st ❞✐✈✐sé❡ ❡♥ ❞❡✉① ♥✐✈❡❛✉①✱ s❛ s✐❣♥❛t✉r❡
❝♦♠♣♦rt❡♠❡♥t

Csig

❡t s♦♥

Cspec ✳

❙♦✐❡♥t ❞❡✉① ❝♦♠♣♦s❛♥ts✱ ❈ ❂ ❁Csig ✱

Cspec ❃ ❡t ❈✬ ❂ ❁Csig ✱Cspec ❃✳ ▲❛ ❝♦♠♣❛t✐❜✐❧✐té ❡♥tr❡

❝❡s ❞❡✉① ❝♦♠♣♦s❛♥ts ❈ ❡t ❈✬ ❡st ❞é✜♥✐❡ ♣❛r ✿

▼❛t❝❤ ✿ ❈♦♠♣♦♥❡♥t✱ ❈♦♠♣♦♥❡♥t → Bool
M atch(C, C ) = matchsig (Csig , Csig ) ∧ matchspec (Cspec , Cspec )
✷✶

✭✷✳✶✮


✷✳✹✳✷ ❈♦♠♣❛t✐❜✐❧✐té ❛✉ ♥✐✈❡❛✉ s✐❣♥❛t✉r❡s
❛✮ ❉é✜♥✐t✐♦♥
▲❛ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ s✐❣♥❛t✉r❡s ❞❡ ♠ét❤♦❞❡s ✉t✐❧✐s❡ ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ t②♣❡s✳ ❯♥ t②♣❡ ❡st

s♦✐t ✉♥ t②♣❡

✈❛r✐❛❜❧❡ ∈ ❚②♣❡❱❛r

s♦✐t ✉♥ t②♣❡

♦♣❡r❛t♦r ∈ ❚②♣❡❖♣✳

●é♥ér❛❧❡♠❡♥t✱ ❡♥ s✉♣♣♦s❛♥t q✉❡ ♥♦✉s ❛✈♦♥s ❧❡ t②♣❡ ❞❡s ♠ét❤♦❞❡s ❞❛♥s ❧❛ ❜✐❜❧✐♦t❤èq✉❡ ❞❡
❝♦♠♣♦s❛♥ts✱

τl ✱

❡t ❧❡ t②♣❡ ❞❡ ❧❛ r❡q✉êt❡✱

τq ✱

❛❧♦rs ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ▼✭τl ✱τq ✮ ❡st ❞é✜♥✐❡ ♣❛r ✿

▼ ✿ ▲✐❜r❛r② ❚②♣❡✱ ◗✉❡r② ❚②♣❡ → Boolean
M (τl , τq ) = ∃Tl ❛♥❞ Tq s✉❝❤ t❤❛t Tl (τl ) ❘ Tq (τq )

✭✷✳✷✮

❉❛♥s ❧❡q✉❡❧ ✿
✕

Tl

❡t

Tq

s♦♥t ❞❡s tr❛♥s❢♦r♠❛t✐♦♥s ❛♣♣❧✐q✉é❡s ♣♦✉r ❧❡ t②♣❡ ❞❡ ❧❛ ❜✐❜❧✐♦t❤èq✉❡ ❡t ❝❡❧✉✐ ❞❡

❧❛ r❡q✉êt❡
✕ ❘ ❡st ✉♥❡ r❡❧❛t✐♦♥ ❡♥tr❡

Tl (τl ✮

❡t

Tq (τq ✮✱

♣❛r ❡①❡♠♣❧❡

=T ✱ ≤

▲❛ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ s✐❣♥❛t✉r❡s ❡st ❢♦♥❝t✐♦♥ ❞❡ ❧❛ r❡❧❛t✐♦♥
♠❛t✐♦♥s

❘

♦✉

❡♥tr❡

≥
τl ❡t τq

❡t ❞❡s tr❛♥s❢♦r✲

Tl ✱ Tq ✳

❜✮ ❚②♣❡s ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ s✐❣♥❛t✉r❡s
❉❡✉① t②♣❡s ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ s✐❣♥❛t✉r❡s s♦♥t ❞✐st✐♥❣✉és✳

❈♦♠♣❛t✐❜✐❧✐té ❡①❛❝t❡
✕
✕
✕

❆ ♣❛rt✐r ❞❡ ❧❛ ❢♦r♠✉❧❡ ✷✳✷✱ s✐ ✿

τl ❡st ✉♥❡ s✉✐t❡ ❞❡ r❡♥♦♠♠❛❣❡s
τq ❡st ❧❛ ❢♦♥❝t✐♦♥ ✐❞❡♥t✐té✱
❘ ❡st =T

❞❡s ✈❛r✐❛❜❧❡

❱✱

▲❛ ❝♦♠♣❛t✐❜✐❧✐té ❡st ❞✐t❡ ❡①❛❝t❡ ✿

matchE (τl , τq ) = ∃ ❛ s❡q✉❡♥❝❡ ♦❢ ✈❛r✐❛❜❧❡ r❡♥❛♠✐♥❣s✱ ❱✱ s✉❝❤ t❤❛t
V τl =T τq

❈♦♠♣❛t✐❜✐❧✐té r❡❧â❝❤é❡

❈❡ t②♣❡ ❡st ❞✐✈✐sé ❡♥ tr♦✐s s♦✉s✲t②♣❡s ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ✿

✭✷✳✸✮

❈♦♠✲

♣❛t✐❜✐❧✐té ●é♥ér❛❧✐sé❡ ✭●❡♥❡r❛❧✐③❡❞ ▼❛t❝❤✮✱ ❈♦♠♣❛t✐❜✐❧✐té ❙♣é❝✐❛❧✐sé❡ ✭❙♣❡❝✐❛❧✐③❡❞ ▼❛t❝❤✮ ❡t
❈♦♠♣❛t✐❜✐❧✐té ❯♥✐✜é❡ ✭❯♥✐❢② ▼❛t❝❤✮✳ ❉❛♥s ♥♦tr❡ tr❛✈❛✐❧✱ ♥♦✉s ♥✬✉t✐❧✐s♦♥s q✉❡ ❧❡ t②♣❡ ❈♦♠♣❛✲
t✐❜✐❧✐té ❙♣é❝✐❛❧✐sé❡✱ ❞é✜♥✐ ♣❛r
matchspec (τl , τq ) = τl ≤ τq

✭✷✳✹✮

■♥t✉✐t✐✈❡♠❡♥t✱ ✉♥ t②♣❡ ❞✐s♣♦♥✐❜❧❡ ❡♥ ❜✐❜❧✐♦t❤èq✉❡ ❡st ❝♦♠♣❛t✐❜❧❡ ❛✈❡❝ ❝❡❧✉✐ ❞❡ ❧❛ r❡q✉êt❡
s✐ ❧❡ t②♣❡ ❞❡ ❧❛ r❡q✉êt❡ ❡st ♣❧✉s ❣é♥ér❛❧ q✉❡ ❝❡❧✉✐ ❞❡ ❜✐❜❧✐♦t❤èq✉❡✳

✷✳✹✳✸ ❈♦♠♣❛t✐❜✐❧✐té ❛✉ ♥✐✈❡❛✉ ❝♦♠♣♦rt❡♠❡♥ts
❛✮ ❉é✜♥✐t✐♦♥
❙♦✐❡♥t ✉♥❡ ❜✐❜❧✐♦t❤èq✉❡ ❞❡ s♣é❝✐✜❝❛t✐♦♥s ❙✭Spre , Spost ✮ ❡t ✉♥❡ r❡q✉êt❡ ◗✭Qpre , Qpost ✮✳ ❉❡✉①
♥♦t✐♦♥s ❞❡ ❝♦♠♣❛t✐❜✐❧✐té s♦♥t ❞✐st✐♥❣✉é❡s ✿

✷✷


❉é✜♥✐t✐♦♥ ✶

matchpre/post (S, Q)

▲❛ ❢♦r♠✉❧❡ ❣é♥ér❛❧❡ ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ♣ré✴♣♦st

❧❛ ♣❧✉s

❝♦♠♠✉♥❡ ♣♦✉r ❧❡s ♠ét❤♦❞❡s ❡st ❞é✜♥✐❡ ♣❛r ✿

matchpre/post (S, Q) = (Qpre R1 Spre ) ∧ (S R2 Qpost )

✭✷✳✺✮

❆✈❡❝ ✿
✕
✕
✕
✕

R1 ❡st ❧❛ r❡❧❛t✐♦♥ ❡♥tr❡ Qpre ❡t Spre
R2 ❡st ❧❛ r❡❧❛t✐♦♥ ❡♥tr❡ Qpost ❡t Spost
R1 ❡t R2 s♦♥t s♦✐t ✉♥❡ éq✉✐✈❛❧❡♥❝❡ ✭⇔✮ s♦✐t ✉♥❡ ✐♠♣❧✐❝❛t✐♦♥ ✭⇒✮
S ❡st s♦✐t Spost s♦✐t Spre ∧Spost ✱ ❡♥ ❢♦♥❝t✐♦♥ ❞✉ t②♣❡ ❞❡ ❝♦♠♣❛t✐❜✐❧✐té✳ ❉❛♥s ♥♦tr❡ tr❛✈❛✐❧✱
S ❂ Spost ✳

❉é✜♥✐t✐♦♥ ✷

▲❛ ❢♦r♠✉❧❡ ❣é♥ér❛❧❡ ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ ♣ré❞✐❝❛ts ❡st ✉t✐❧❡ ❞❛♥s ❧❡ ❝❛s ♦ù

♥♦✉s ❛✈♦♥s ❜❡s♦✐♥ ❞❡ ❝♦♥s✐❞ér❡r ✉♥❡ r❡❧❛t✐♦♥ ❞❡ s♣é❝✐✜❝❛t✐♦♥s ♣❧✉tôt q✉✬✉♥❡ r❡❧❛t✐♦♥ ❡♥tr❡ ❞❡s
♣❛rt✐❡s ❝♦rr❡s♣♦♥❞❛♥t❡s ❞❡ s♣é❝✐✜❝❛t✐♦♥s ✿

matchpred (S, Q) = Spred ❘ Qpred

✭✷✳✻✮

❆✈❡❝ ✿
✕
✕
✕

Spred ❂ Spre ⇒ Spost
Qpred ❂ Qpre ⇒ Qpost
❘✱ r❡❧❛t✐♦♥ ❡♥tr❡ Spred

❡t

Qpred

❡st s♦✐t ✉♥❡ éq✉✐✈❛❧❡♥❝❡ ✭⇔✮ s♦✐t ✉♥❡ ✐♠♣❧✐❝❛t✐♦♥ ✭⇒✮

❜✮ ❚②♣❡s ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ♣ré✴♣♦st
P♦✉r ❞é✜♥✐r ❧✬✐♥t❡r♦♣ér❛❜✐❧✐té ❞✐r❡❝t❡ ❡♥tr❡ ❧❡s ✐♥t❡r❢❛❝❡s✱ ♥♦✉s ❛✈♦♥s ❜❡s♦✐♥ ❞❡ ❞❡✉① t②♣❡s
❞❡ ❝♦♠♣❛t✐❜✐❧✐té ✿

❈♦♠♣❛t✐❜✐❧✐té ♣ré✴♣♦st ❡①❛❝t❡

❈✬❡st ❧❡ ❝❛s ❧❡ ♣❧✉s s✐♠♣❧❡ ❧♦rsq✉❡ ❧❛ ♣ré❝♦♥❞✐t✐♦♥ ❡t ❧❛

♣♦st❝♦♥❞✐t✐♦♥ ❞❡ ❝❤❛q✉❡ ♠ét❤♦❞❡ ❞❡ ❧✬✐♥t❡r❢❛❝❡ r❡q✉✐s❡ ❡t ❝❡❧❧❡ ❢♦✉r♥✐❡ s♦♥t éq✉✐✈❛❧❡♥t❡s✳ ❆
♣❛rt✐r ❞❡ ❧❛ ❢♦r♠✉❧❡ ✷✳✺✱ ❛✈❡❝

S

❂

Spost

❡t

R1

❡t

R2

s♦♥t ✉♥❡ éq✉✐✈❛❧❡♥❝❡✱ ♥♦✉s ♦❜t❡♥♦♥s ❧❛

❢♦r♠✉❧❡ ❞❡ ❈♦♠♣❛t✐❜✐❧✐té ♣ré✴♣♦st ❡①❛❝t❡ s✉✐✈❛♥t❡ ✿

matchE−pre/post (S, Q) = (Qpre ⇔ Spre ) ∧ (Spost ⇔ Qpost )

✭✷✳✼✮

■❧❧✉str♦♥s ❝❡ ❝❛s ❞❡ ❝♦♠♣❛t✐❜✐❧✐té à ❧✬❛✐❞❡ ❞❡ ❧✬❡①❡♠♣❧❡ s✉✐✈❛♥t ✿

♣✉❜❧✐❝ ✐ ♥ t ❡ r ❢ ❛ ❝ ❡
✴ ∗❅
❅

r❡q✉✐r❡s
❡♥s✉r❡s

♣✉❜❧✐❝ ✐ ♥ t ❡ r ❢ ❛ ❝ ❡

④

✴ ∗❅

❛❃❂✵ ✫✫ ❜ ❃❂✵❀
❭r❡s✉❧t

❅∗ ✴

♣✉❜❧✐❝ ✐ ♥ t

✐♥t❡r❢❛❝❡❘

❛❞❞❘ ✭

✐♥t

❂❂ ❛✰❜ ❀

❛✱

✐♥t

❅

r❡q✉✐r❡s
❡♥s✉r❡s

♣✉❜❧✐❝ ✐ ♥ t

⑥

④

❛❃❂✵ ✫✫ ❜ ❃❂✵❀
❭r❡s✉❧t

❅∗ ✴

❜✮❀

✐♥t❡r❢❛❝❡P

❛❞❞P ✭

✐♥t

❂❂ ❛✰❜ ❀

❛✱

✐♥t

❜✮❀

⑥

▲❛ ♣ré❝♦♥❞✐t✐♦♥ ❡t ❧❛ ♣♦st❝♦♥❞✐t✐♦♥ ❞❡ ❞❡✉① ♠ét❤♦❞❡

❛❞❞P

❞❡ ❧✬✐♥t❡r❢❛❝❡

addRpost ✱

✐♥t❡r❢❛❝❡P

s♦♥t ❧❡s ♠ê♠❡s✳ ❉♦♥❝✱

❝♦rr❡s♣♦♥❞❛♥t à ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❡①❛❝t❡✳

✷✸

❛❞❞❘

❞❡ ❧✬✐♥t❡r❢❛❝❡

addRpre ⇔ addPpre

✐♥t❡r❢❛❝❡❘

❡t

❡t

addPpost ⇔


❋✐❣✳ ✷✳✶✷ ✕ ■❞é❡ ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ♣❧✉❣✲✐♥

❈♦♠♣❛t✐❜✐❧✐té ♣❧✉❣✲✐♥

▲✬✐❞é❡ ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ♣❧✉❣✲✐♥ ❡st ❡①♣r✐♠é❡ ✜❣✉r❡ ✷✳✶✷✳

❙♦✐t ❞❡✉① ♠ét❤♦❞❡s ✿ ✉♥❡ ♠ét❤♦❞❡

S

❁Spre ✱

Spost ❃❞✬✉♥❡

✜❣✉r❡✱ ♣♦✉r q✉❡

◗

Q ❁Qpre ✱ Qpost ❃ ❞✬✉♥❡ ✐♥t❡r❢❛❝❡ r❡q✉✐s❡ ❀ ✉♥❡ ♠ét❤♦❞❡

✐♥t❡r❢❛❝❡ ❢♦✉r♥✐❡✳ ▲❡s ✢❡❝❤❡s s✐❣♥✐✜❡♥t ✉♥❡ ✐♠♣❧✐❝❛t✐♦♥✳ ❙❡❧♦♥ ❝❡tt❡

♣✉✐ss❡ ✉t✐❧✐s❡r

❙

✿

Qpre ❡st ♣❧✉s ❢♦rt❡ q✉❡ Spre
Spost ❡st ♣❧✉s ❢♦rt❡ q✉❡ Qpost
➚ ♣❛rt✐r ❞❡ ❧❛ ❢♦r♠✉❧❡ ✷✳✺✱ ❛✈❡❝

S

❂

Spost ❀ R1

❡t

R2

s♦♥t ✉♥❡ ✐♠♣❧✐❝❛t✐♦♥✱ ♥♦✉s ❛✈♦♥s ❧❛

❢♦r♠✉❧❡ ❞❡ ❈♦♠♣❛t✐❜✐❧✐té ♣❧✉❣✲✐♥

matchplug−in (S, Q) = (Qpre ⇒ Spre ) ∧ (Spost ⇒ Qpost )

✭✷✳✽✮

▲❛ ❝♦♠♣❛t✐❜✐❧✐té ♣❧✉❣✲✐♥ ❡st ✐❧❧✉stré❡ ♣❛r ❧✬❡①❡♠♣❧❡ s✉✐✈❛♥t ✿

♣✉❜❧✐❝ ✐ ♥ t ❡ r ❢ ❛ ❝ ❡
✴ ∗❅
❅

r❡q✉✐r❡s
❡♥s✉r❡s

♣✉❜❧✐❝ ✐ ♥ t ❡ r ❢ ❛ ❝ ❡

④

❛❞❞❘ ✭

✐♥t

❂❂ ❛✰❜ ❀

❛✱

✐♥t

✐♥t❡r❢❛❝❡P

④

✴ ∗❅

❛❃❂✵ ✫✫ ❜ ❃❂✵❀
❭r❡s✉❧t

❅∗ ✴

♣✉❜❧✐❝ ✐ ♥ t

✐♥t❡r❢❛❝❡❘

❅

❡♥s✉r❡s

❭r❡s✉❧t

❅∗ ✴

♣✉❜❧✐❝ ✐ ♥ t

❜✮❀

⑥

❛❞❞P ✭

✐♥t

❂❂ ❛✰❜ ❀

❛✱

✐♥t

❜✮❀

⑥

addRpre ⇒ addPpre ✭ addPpre ❂ tr✉❡✱ addRpre ❡st ♣❧✉s ❢♦rt❡ q✉❡ addPpre
✮✱ addPpost ⇔ addRpost ✳ ❊♥ ❞✬❛✉tr❡s t❡r♠❡s✱ ♥♦✉s ♣♦✉✈♦♥s ❞✐r❡ (addRpre ⇒ addPpre ) ∧
(addPpost ⇒ addRpost ) ✱ ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❡♥tr❡ ❛❞❞❘ ❡t ❛❞❞P ❡st ❞♦♥❝ ♣❧✉❣✲✐♥✳
❉❛♥s ❝❡t ❡①❡♠♣❧❡✱

❝✮ ❚②♣❡s ❞❡ ❝♦♠♣❛t✐❜✐❧✐té ❞❡ ♣ré❞✐❝❛ts
❈♦♠♣❛t✐❜✐❧✐té ❡①❛❝t❡

➚ ♣❛rt✐r ❞❡ ❢♦r♠✉❧❡ ✷✳✻✱ ❧❛ ❝♦♠♣❛t✐❜✐❧✐té ❡①❛❝t❡ ❝♦rr❡s♣♦♥❞ ❛✉ ❝❛s

♦ù ❘ ❡st ✉♥❡ éq✉✐✈❛❧❡♥❝❡ ✿

matchpred (S, Q) = Spred ⇔ Qpred

❈♦♠♣❛t✐❜✐❧✐té ❣é♥ér❛❧✐sé❡

✭✷✳✾✮

❈♦rr❡s♣♦♥❞ à ❧❛ ❢♦r♠✉❧❡ ✷✳✻ ❛✈❡❝ ❘ ❡st ✉♥❡ ✐♠♣❧✐❝❛t✐♦♥ ✿

matchpred (S, Q) = Spred ⇒ Qpred

✷✹

✭✷✳✶✵✮