--- rpl/src/optimisation.c	2011/06/21 07:45:28	1.25
+++ rpl/src/optimisation.c	2011/11/26 10:01:32	1.36
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.0.prerelease.1
+  RPL/2 (R) version 4.1.5
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -25,7 +25,7 @@
 
 /*
 ================================================================================
-  Boucle principale optimisé de l'interprète RPL/2
+  Boucle principale optimisée de l'interprète RPL/2
 ================================================================================
   Entrées : structure sur l'état du processus
 --------------------------------------------------------------------------------
@@ -49,6 +49,7 @@ sequenceur_optimise(struct_processus *s_
 	struct_tableau_variables	*tableau;
 
 	unsigned char				*message;
+	unsigned char				registre;
 
 	unsigned long				adresse_point_entree;
 
@@ -58,11 +59,11 @@ sequenceur_optimise(struct_processus *s_
 	{
 		if ((*s_etat_processus).langue == 'F')
 		{
-			printf("+++Optimisation [%d]\n", (int) getpid());
+			printf("+++Compilation [%d]\n", (int) getpid());
 		}
 		else
 		{
-			printf("+++Optimization [%d]\n", (int) getpid());
+			printf("+++Compilation [%d]\n", (int) getpid());
 		}
 
 		printf("\n");
@@ -71,6 +72,7 @@ sequenceur_optimise(struct_processus *s_
 
 	point_entree = -1;
 	adresse_point_entree = 0;
+	programme_principal = NULL;
 
 	empilement_pile_systeme(s_etat_processus);
 	(*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'Y';
@@ -128,29 +130,69 @@ sequenceur_optimise(struct_processus *s_
 			{
 				if ((*s_etat_processus).langue == 'F')
 				{
-					printf("+++Fatal : Optimisation impossible\n");
+					printf("+++Fatal : Compilation impossible\n");
 				}
 				else
 				{
-					printf("+++Fatal : Optimization failed\n");
+					printf("+++Fatal : Compilation failed\n");
 				}
 
 				free(tableau);
 				return(d_erreur);
 			}
 
+			// Il faut désactiver la vérification des variables
+			// implicites car aucune variable de niveau strictement
+			// positif étant créée, la fonction recherche_type() pourrait
+			// échouer.
+
+			registre = (*s_etat_processus).autorisation_nom_implicite;
+			(*s_etat_processus).autorisation_nom_implicite = 'Y';
 			recherche_type(s_etat_processus);
+			(*s_etat_processus).autorisation_nom_implicite = registre;
 
 			if (((*s_etat_processus).erreur_execution != d_ex) ||
 					((*s_etat_processus).erreur_systeme != d_es))
 			{
+				if ((*s_etat_processus).core == d_vrai)
+				{
+					if ((*s_etat_processus).langue == 'F')
+					{
+						printf("+++Information : "
+								"Génération du fichier rpl-core "
+								"[%d]\n", (int) getpid());
+					}
+					else
+					{
+						printf("+++Information : "
+								"Writing rpl-core file [%d]\n",
+								(int) getpid());
+					}
+
+					rplcore(s_etat_processus);
+
+					if ((*s_etat_processus).langue == 'F')
+					{
+						printf("+++Information : "
+								"Processus tracé [%d]\n",
+								(int) getpid());
+					}
+					else
+					{
+						printf("+++Information : Done [%d]\n",
+								(int) getpid());
+					}
+
+					fflush(stdout);
+				}
+
 				if ((*s_etat_processus).langue == 'F')
 				{
-					printf("+++Fatal : Optimisation impossible\n");
+					printf("+++Fatal : Compilation impossible\n");
 				}
 				else
 				{
-					printf("+++Fatal : Optimization failed\n");
+					printf("+++Fatal : Compilation failed\n");
 				}
 
 				free(tableau);
@@ -165,11 +207,11 @@ sequenceur_optimise(struct_processus *s_
 			{
 				if ((*s_etat_processus).langue == 'F')
 				{
-					printf("+++Fatal : Optimisation impossible\n");
+					printf("+++Fatal : Compilation impossible\n");
 				}
 				else
 				{
-					printf("+++Fatal : Optimization failed\n");
+					printf("+++Fatal : Compilation failed\n");
 				}
 
 				free(tableau);
@@ -184,11 +226,11 @@ sequenceur_optimise(struct_processus *s_
 			{
 				if ((*s_etat_processus).langue == 'F')
 				{
-					printf("+++Fatal : Optimisation impossible\n");
+					printf("+++Fatal : Compilation impossible\n");
 				}
 				else
 				{
-					printf("+++Fatal : Optimization failed\n");
+					printf("+++Fatal : Compilation failed\n");
 				}
 
 				free(tableau);
@@ -210,11 +252,11 @@ sequenceur_optimise(struct_processus *s_
 	{
 		if ((*s_etat_processus).langue == 'F')
 		{
-			printf("+++Fatal : Optimisation impossible\n");
+			printf("+++Fatal : Compilation impossible\n");
 		}
 		else
 		{
-			printf("+++Fatal : Optimization failed\n");
+			printf("+++Fatal : Compilation failed\n");
 		}
 
 		free(tableau);
@@ -230,11 +272,11 @@ sequenceur_optimise(struct_processus *s_
 
 			if ((*s_etat_processus).langue == 'F')
 			{
-				printf("[%d] Optimisation achevée\n", (int) getpid());
+				printf("[%d] Compilation achevée\n", (int) getpid());
 			}
 			else
 			{
-				printf("[%d] Optimization done\n", (int) getpid());
+				printf("[%d] Compilation done\n", (int) getpid());
 			}
 
 			printf("\n");
@@ -251,11 +293,11 @@ sequenceur_optimise(struct_processus *s_
 	{
 		if ((*s_etat_processus).langue == 'F')
 		{
-			printf("+++Fatal : Optimisation impossible\n");
+			printf("+++Fatal : Compilation impossible\n");
 		}
 		else
 		{
-			printf("+++Fatal : Optimization failed\n");
+			printf("+++Fatal : Compilation failed\n");
 		}
 
 		free(tableau);