--- rpl/src/instructions_r2.c	2012/09/29 17:53:02	1.39
+++ rpl/src/instructions_r2.c	2012/09/30 20:46:46	1.40
@@ -446,6 +446,7 @@ instruction_return(struct_processus *s_e
 						analyse(s_etat_processus, NULL);
 					}
 					else if ((strcmp(instruction_majuscule, "FOR") == 0) ||
+							(strcmp(instruction_majuscule, "FORALL") == 0) ||
 							(strcmp(instruction_majuscule, "START") == 0))
 					{
 						empilement_pile_systeme(s_etat_processus);
@@ -511,9 +512,10 @@ instruction_return(struct_processus *s_e
 						 * Libération des compteurs de boucle.
 						 */
 
-						presence_compteur = ((*(*s_etat_processus)
-								.l_base_pile_systeme).type_cloture == 'F')
-								? d_vrai : d_faux;
+						presence_compteur = (((*(*s_etat_processus)
+								.l_base_pile_systeme).type_cloture == 'F') ||
+								((*(*s_etat_processus).l_base_pile_systeme)
+								.type_cloture == 'A')) ? d_vrai : d_faux;
 
 						if (((*(*s_etat_processus).l_base_pile_systeme)
 								.type_cloture != 'S') &&
@@ -695,6 +697,7 @@ instruction_return(struct_processus *s_e
 							instruction_vers_niveau_superieur);
 				}
 				else if ((fonction == instruction_for) ||
+						(fonction == instruction_forall) ||
 						(fonction == instruction_start))
 				{
 					empilement_pile_systeme(s_etat_processus);
@@ -756,9 +759,10 @@ instruction_return(struct_processus *s_e
 					 * Libération des compteurs de boucle.
 					 */
 
-					presence_compteur = ((*(*s_etat_processus)
-							.l_base_pile_systeme).type_cloture == 'F')
-							? d_vrai : d_faux;
+					presence_compteur = (((*(*s_etat_processus)
+							.l_base_pile_systeme).type_cloture == 'F') ||
+							((*(*s_etat_processus).l_base_pile_systeme)
+							.type_cloture == 'A')) ? d_vrai : d_faux;
 
 					if (((*(*s_etat_processus).l_base_pile_systeme)
 							.type_cloture != 'S') &&