--- rpl/src/gestion_threads.c	2015/01/08 14:29:51	1.92
+++ rpl/src/gestion_threads.c	2015/01/30 07:53:15	1.94
@@ -1018,6 +1018,7 @@ lancement_thread(void *argument)
 	retrait_thread(s_etat_processus);
 	pthread_mutex_destroy(&((*s_etat_processus).mutex_pile_processus));
 	pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
+	pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation_buffer));
 	pthread_mutex_destroy(&((*s_etat_processus).mutex_interruptions));
 	pthread_mutex_destroy(&((*s_etat_processus).mutex_signaux));
 
@@ -1031,7 +1032,7 @@ lancement_thread(void *argument)
 	liberation_contexte_cas(s_etat_processus);
 	liberation_allocateur_buffer(s_etat_processus);
 	free((*s_etat_processus).localisation);
-	free(s_etat_processus);
+	sys_free(s_etat_processus);
 
 	pthread_mutex_lock(&((*s_argument_thread).mutex));
 	(*s_argument_thread).thread_actif = d_faux;