!"#$%&'()%%%)*)+,(-.%+%/'()0.)1#'!"()
)
+,)234565789):9);<8=>2)?8<:45?)@2A28<69;9A?)6<)=BAC8BA?<DBA):9)6,BE89)9?):9)6<):9;<A:9F)
+<) =B4879) :9) :9;<A:9) @6B7<69) :9G) =BAGB;;<?948G) H98;9?) :9) =BAA<I?89) 6<) 34<AD?2)
:9;<A:29) 9A) CBA=DBA) :9G) H85JF) !9K9) CBA=DBA) 9G?) @2A28<69;9A?) :2=8B5GG<A?9) H<8)
8<HHB8?)<4)H85JF)+<)=B4879):,BE89)@6B7<69):9G)H8B:4=?948G)659)6<)34<AD?2)H8B:45?9)<4)H85J)
:9)L9A?9M);<5G):9)C<NBA)=8B5GG<A?9F).A)H85J)H64G)269L2)@<8<AD?):9G)H8BO?G)5;HB8?<A?GF)
)
+,234565789) :4) ;<8=>2) 9G?) <HH82>9A:2) P) H<8D8) :9) =9) 349) 6,BA) <HH9669) 69) ;B:Q69) :9)
=BA=4889A=9) H489) 9?) H<8C<5?9F) !9) ;B:Q69) H98;9?) :9) =B;H89A:89) 69) H8B@8<;;9) :9)
;<J5;5G<DBA):9G)H8BO?G):4)H8B:4=?948)?B4?)9A)GB465@A<A?)349)69G)H85J)GBA?):9G):BAA29G)
HB48) 69G) =BAGB;;<?948G) 9?) 69G) H8B:4=?948G) 6B8G34,56G) 82<65G9A?) 6948G) =>B5J) :9)
=BAGB;;<DBA) 9?) :9) H8B:4=DBAF) RA) :5?) 349) 6,<@9A?) 2=BAB;5349) 9G?) H89A948) :9) H85J)
SH85=9)?<T98UM)=,9G?)P):589)896<DL9;9A?)H9D?)HB48)A9)H<G)5AV49A=98)69)A5L9<4):9)H85J):4)
;<8=>2F))
)
%F)+9G)=BA:5DBAG):9)6<)=BA=4889A=9)H489)9?)H<8C<5?9)
)
+9);B:Q69):9)=BA=4889A=9)H489)9?)H<8C<5?9)89HBG9)G48)4A)9AG9;769):,>WHB?>QG9G)*))
X) L’atomicité* des* agents* *) 56) W) <) 4A9) 5AOA5?2) :,<@9A?G) G48) 69) ;<8=>2) :9) ?9669) GB8?9) 349)
=><=4A) :9) =9G) <@9A?G) 9G?) ?8BH) H9D?) HB48) 349) GBA) =B;HB8?9;9A?) 5AV49A=9) =9645) :9G)
<4?89G)<@9A?G)9?)69)A5L9<4):4)H85J):4);<8=>2F))