--- rpl/src/instructions_d5.c	2015/01/05 13:12:34	1.120
+++ rpl/src/instructions_d5.c	2015/01/30 07:53:15	1.124
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.19
+  RPL/2 (R) version 4.1.20
   Copyright (C) 1989-2015 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -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));
@@ -2802,7 +2803,8 @@ instruction_detach(struct_processus *s_e
 		destruction_queue_signaux(s_etat_processus);
 		liberation_contexte_cas(s_etat_processus);
 		arret_thread_signaux(s_etat_processus);
-		free(s_etat_processus);
+		liberation_allocateur_buffer(s_etat_processus);
+		sys_free(s_etat_processus);
 
 #		ifdef DEBUG_MEMOIRE
 		debug_memoire_verification();