--- rpl/src/gestion_objets.c	2015/01/05 15:32:14	1.113
+++ rpl/src/gestion_objets.c	2015/01/08 14:29:51	1.114
@@ -117,6 +117,7 @@ initialisation_allocateur(struct_process
 	(*s_etat_processus).pointeur_variables_variable = 0;
 	(*s_etat_processus).pointeur_variables_tableau_noeuds = 0;
 	(*s_etat_processus).pointeur_variables_tableau_noeuds_partages = 0;
+	(*s_etat_processus).pointeur_enveloppes_buffers = 0;
 
 	return;
 }
@@ -215,6 +216,8 @@ liberation_allocateur(struct_processus *
 		}
 	}
 
+	for(i = 0; i < (*s_etat_processus).pointeur_enveloppes_buffers;
+			free((*s_etat_processus).enveloppes_buffers[i++]));
 	return;
 }
 
@@ -3552,6 +3555,8 @@ copie_etat_processus(struct_processus *s
 		(*s_nouvel_etat_processus).s_instructions_externes = NULL;
 	}
 
+	initialisation_allocateur_buffer(s_nouvel_etat_processus);
+
 	pthread_mutexattr_init(&attributs_mutex);
 	pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
 	pthread_mutex_init(&((*s_nouvel_etat_processus).mutex_pile_processus),