--- rpl/src/gestion_threads.c	2015/01/27 14:18:06	1.93
+++ 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));