--- rpl/src/sequenceur.c	2012/08/22 10:47:19	1.54
+++ rpl/src/sequenceur.c	2012/09/15 12:57:09	1.55
@@ -1231,6 +1231,8 @@ sequenceur(struct_processus *s_etat_proc
 								(strcmp(instruction_majuscule, "FOR") == 0) ||
 								(strcmp(instruction_majuscule, "START") == 0) ||
 								(strcmp(instruction_majuscule, "SELECT") == 0)
+								||
+								(strcmp(instruction_majuscule, "CRITICAL") == 0)
 								|| (strcmp(instruction_majuscule, "CASE") == 0)
 							   	|| (strcmp(instruction_majuscule, "<<") == 0))
 						{
@@ -1272,6 +1274,31 @@ sequenceur(struct_processus *s_etat_proc
 							}
 							else
 							{
+								// Traitement spécifique pour la fin
+								// d'une section critique
+
+								if ((*s_etat_processus).l_base_pile_systeme
+										== NULL)
+								{
+									(*s_etat_processus).erreur_systeme =
+											d_es_processus;
+									return(d_erreur);
+								}
+
+								if ((*(*s_etat_processus).l_base_pile_systeme)
+										.type_cloture == 'Q')
+								{
+									if (pthread_mutex_unlock(
+											&mutex_sections_critiques) != 0)
+									{
+										(*s_etat_processus).erreur_systeme =
+												d_es_processus;
+										return(d_erreur);
+									}
+
+									(*s_etat_processus).sections_critiques--;
+								}
+
 								depilement_pile_systeme(s_etat_processus);
 
 								if ((*s_etat_processus).erreur_systeme != d_es)
@@ -1314,6 +1341,7 @@ sequenceur(struct_processus *s_etat_proc
 							(strcmp(instruction_majuscule, "FOR") == 0) ||
 							(strcmp(instruction_majuscule, "START") == 0) ||
 							(strcmp(instruction_majuscule, "SELECT") == 0)
+							|| (strcmp(instruction_majuscule, "CRITICAL") == 0)
 							|| (strcmp(instruction_majuscule, "CASE") == 0)
 							|| (strcmp(instruction_majuscule, "<<") == 0))
 					{