processus exécutent le programme suivant :
debut tant que vrai faire debut "entrer en section critique" Section Critique "sortir de section critique" Section Non Critique fin fin
Les objectifs :