--- rpl/src/optimisation.c	2012/04/13 14:13:03	1.40
+++ rpl/src/optimisation.c	2013/03/21 11:30:31	1.49
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.8
-  Copyright (C) 1989-2012 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.13
+  Copyright (C) 1989-2013 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -38,9 +38,10 @@
 logical1
 sequenceur_optimise(struct_processus *s_etat_processus)
 {
-	int							i;
-	int							nb_variables;
-	int							point_entree;
+	integer8					adresse_point_entree;
+	integer8					i;
+	integer8					nb_variables;
+	integer8					point_entree;
 
 	logical1					erreur;
 
@@ -51,8 +52,6 @@ sequenceur_optimise(struct_processus *s_
 	unsigned char				*message;
 	unsigned char				registre;
 
-	unsigned long				adresse_point_entree;
-
 	if ((*s_etat_processus).debug == d_vrai)
 		if (((*s_etat_processus).type_debug &
 				d_debug_analyse) != 0)
@@ -79,11 +78,10 @@ sequenceur_optimise(struct_processus *s_
 	(*s_etat_processus).autorisation_empilement_programme = 'Y';
 	(*s_etat_processus).mode_execution_programme = 'N';
 
-	nb_variables = nombre_variables(s_etat_processus,
-			(*s_etat_processus).s_arbre_variables);
+	nb_variables = nombre_variables(s_etat_processus);
 
-	if ((tableau = malloc(nb_variables * sizeof(struct_tableau_variables)))
-			== NULL)
+	if ((tableau = malloc(((size_t) nb_variables) *
+			sizeof(struct_tableau_variables))) == NULL)
 	{
 		if ((*s_etat_processus).langue == 'F')
 		{
@@ -94,11 +92,12 @@ sequenceur_optimise(struct_processus *s_
 			printf("+++System : Not enough memory\n");
 		}
 
+		liberation_mutexes_arbre_variables_partagees(s_etat_processus,
+				(*(*s_etat_processus).s_arbre_variables_partagees));
 		return(d_erreur);
 	}
 
-	liste_variables(s_etat_processus, tableau, 0,
-			(*s_etat_processus).s_arbre_variables);
+	liste_variables(s_etat_processus, tableau);
 
 	for(i = 0; i < nb_variables; i++)
 	{
@@ -106,7 +105,7 @@ sequenceur_optimise(struct_processus *s_
 		{
 			// Variables qui contiennent les points d'entrée des définitions.
 
-			(*s_etat_processus).position_courante = (*((unsigned long *)
+			(*s_etat_processus).position_courante = (*((integer8 *)
 					(*(tableau[i].objet)).objet));
 
 			if (point_entree == -1)