debut tant que vrai faire debut wait(mutex); Section Critique; signal(mutex); Section Non Critique fin fin