--- rpl/src/instructions_d5.c	2015/01/27 14:18:06	1.123
+++ rpl/src/instructions_d5.c	2015/01/30 07:53:15	1.124
@@ -2780,6 +2780,7 @@ instruction_detach(struct_processus *s_e
 
 		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));
 		pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));