--- rpl/src/instructions_d5.c	2010/06/18 08:30:50	1.28
+++ rpl/src/instructions_d5.c	2010/06/24 10:10:42	1.30
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.16
+  RPL/2 (R) version 4.0.17
   Copyright (C) 1989-2010 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -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);