--- rpl/src/instructions_d5.c	2010/06/18 08:30:50	1.28
+++ rpl/src/instructions_d5.c	2010/06/19 15:54:51	1.29
@@ -2849,6 +2849,7 @@ instruction_detach(struct_processus *s_e
 		retrait_thread(s_etat_processus);
 
 		pthread_mutex_destroy(&((*s_etat_processus).mutex));
+		pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
 		pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));
 
 		pthread_key_delete(semaphore_fork_processus_courant);