J'essaie de comprendre les algorithmes de Peterson et Dekker qui sont très similaires et présentent beaucoup de symétries. J'ai essayé de formuler les algorithmes en langage informel comme suit: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and...