Donc en aucun cas on ne peut avoir:
[TA]Vérifier le flag : il est à 0 ;
[TA]Faire ce que j'ai à faire ;
[TA]Mettre le flag à 1 ;
[TB]Vérifier le flag : il est à 0; //le commit A n'ayant pas encore eu lieu
[TA]Commit.
[TB]Faire ce que j'ai à faire ;
[TB]Mettre le flag à 1 ;
[TB]Commit.
?
[TA]Vérifier le flag : il est à 0 ;
[TA]Faire ce que j'ai à faire ;
[TA]Mettre le flag à 1 ;
[TB]Vérifier le flag : il est à 0; //le commit A n'ayant pas encore eu lieu
[TA]Commit.
[TB]Faire ce que j'ai à faire ;
[TB]Mettre le flag à 1 ;
[TB]Commit.
?