--- rpl/src/evaluation.c	2012/09/29 17:53:02	1.57
+++ rpl/src/evaluation.c	2012/09/30 20:46:46	1.58
@@ -956,6 +956,7 @@ evaluation(struct_processus *s_etat_proc
 													registre_erreur_execution;
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -1057,9 +1058,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)
@@ -1332,6 +1336,7 @@ evaluation(struct_processus *s_etat_proc
 												}
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -1420,9 +1425,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)
@@ -1706,6 +1714,7 @@ evaluation(struct_processus *s_etat_proc
 												}
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -1802,9 +1811,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)
@@ -3937,6 +3949,7 @@ evaluation(struct_processus *s_etat_proc
 													registre_erreur_execution;
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -4038,9 +4051,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)
@@ -4354,6 +4370,7 @@ evaluation(struct_processus *s_etat_proc
 												}
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -4442,9 +4459,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)
@@ -4724,6 +4744,7 @@ evaluation(struct_processus *s_etat_proc
 												}
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -4812,9 +4833,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)
@@ -5178,6 +5202,7 @@ evaluation(struct_processus *s_etat_proc
 													registre_erreur_execution;
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -5279,9 +5304,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)
@@ -5595,6 +5623,7 @@ evaluation(struct_processus *s_etat_proc
 												}
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -5683,9 +5712,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)
@@ -5965,6 +5997,7 @@ evaluation(struct_processus *s_etat_proc
 												}
 											}
 											else if (TEST(instruction_for) ||
+													TEST(instruction_forall) ||
 													TEST(instruction_start))
 											{
 												empilement_pile_systeme(
@@ -6053,9 +6086,12 @@ evaluation(struct_processus *s_etat_proc
 												 */
 
 												presence_compteur =
+													(((*(*s_etat_processus)
+													.l_base_pile_systeme)
+													.type_cloture == 'F') ||
 													((*(*s_etat_processus)
 													.l_base_pile_systeme)
-													.type_cloture == 'F')
+													.type_cloture == 'A'))
 													? d_vrai : d_faux;
 
 												if (((*(*s_etat_processus)