--- rpl/src/rpl.c	2013/03/26 09:04:33	1.138
+++ rpl/src/rpl.c	2013/03/27 09:14:51	1.139
@@ -5151,9 +5151,83 @@ rplinit(int argc, char *argv[], char *en
 										(*s_etat_processus)
 												.var_volatile_requete_arret = 0;
 
+										if ((*s_etat_processus).profilage ==
+												d_vrai)
+										{
+											profilage(s_etat_processus,
+													"ATEXIT");
+										}
+
 										erreur = evaluation(s_etat_processus,
 												(*s_etat_processus).at_exit,
 												'E');
+
+										if ((*s_etat_processus).profilage ==
+												d_vrai)
+										{
+											profilage(s_etat_processus, NULL);
+										}
+
+										if (((*s_etat_processus)
+												.erreur_execution != d_ex) ||
+												((*s_etat_processus).exception
+												!= d_ep) || ((*s_etat_processus)
+												.erreur_systeme != d_es))
+										{
+											printf("%s [%d]\n", message =
+													messages(s_etat_processus),
+													(int) getpid());
+											free(message);
+
+											if (test_cfsf(s_etat_processus, 51)
+													== d_faux)
+											{
+												printf("%s", ds_beep);
+											}
+
+											if ((*s_etat_processus).core ==
+													d_vrai)
+											{
+												printf("\n");
+
+												if ((*s_etat_processus).langue
+														== 'F')
+												{
+													printf("+++Information : Gé"
+															"nération du fichie"
+															"r rpl-core "
+															"[%d]\n", (int)
+															getpid());
+												}
+												else
+												{
+													printf("+++Information : Wr"
+															"iting rpl-core fil"
+															"e [%d]\n",
+															(int) getpid());
+												}
+
+												rplcore(s_etat_processus);
+
+												if ((*s_etat_processus).langue
+														== 'F')
+												{
+													printf("+++Information : Pr"
+															"ocessus tracé [%d]"
+															"\n",
+															(int) getpid());
+												}
+												else
+												{
+													printf("+++Information : Do"
+															"ne [%d]\n", (int)
+															getpid());
+												}
+
+												printf("\n");
+												fflush(stdout);
+											}
+										}
 									}
 								}
 							}
@@ -5178,9 +5252,83 @@ rplinit(int argc, char *argv[], char *en
 										(*s_etat_processus)
 												.var_volatile_requete_arret = 0;
 
+										if ((*s_etat_processus).profilage ==
+												d_vrai)
+										{
+											profilage(s_etat_processus,
+													"ATEXIT");
+										}
+
 										erreur = evaluation(s_etat_processus,
 												(*s_etat_processus).at_exit,
 												'E');
+
+										if ((*s_etat_processus).profilage ==
+												d_vrai)
+										{
+											profilage(s_etat_processus, NULL);
+										}
+
+										if (((*s_etat_processus)
+												.erreur_execution != d_ex) ||
+												((*s_etat_processus).exception
+												!= d_ep) || ((*s_etat_processus)
+												.erreur_systeme != d_es))
+										{
+											printf("%s [%d]\n", message =
+													messages(s_etat_processus),
+													(int) getpid());
+											free(message);
+
+											if (test_cfsf(s_etat_processus, 51)
+													== d_faux)
+											{
+												printf("%s", ds_beep);
+											}
+
+											if ((*s_etat_processus).core ==
+													d_vrai)
+											{
+												printf("\n");
+
+												if ((*s_etat_processus).langue
+														== 'F')
+												{
+													printf("+++Information : Gé"
+															"nération du fichie"
+															"r rpl-core "
+															"[%d]\n", (int)
+															getpid());
+												}
+												else
+												{
+													printf("+++Information : Wr"
+															"iting rpl-core fil"
+															"e [%d]\n",
+															(int) getpid());
+												}
+
+												rplcore(s_etat_processus);
+
+												if ((*s_etat_processus).langue
+														== 'F')
+												{
+													printf("+++Information : Pr"
+															"ocessus tracé [%d]"
+															"\n",
+															(int) getpid());
+												}
+												else
+												{
+													printf("+++Information : Do"
+															"ne [%d]\n", (int)
+															getpid());
+												}
+
+												printf("\n");
+												fflush(stdout);
+											}
+										}
 									}
 								}
 							}