--- rpl/src/instructions_d5.c	2015/01/05 15:32:17	1.121
+++ rpl/src/instructions_d5.c	2015/01/08 14:29:51	1.122
@@ -2802,6 +2802,7 @@ instruction_detach(struct_processus *s_e
 		destruction_queue_signaux(s_etat_processus);
 		liberation_contexte_cas(s_etat_processus);
 		arret_thread_signaux(s_etat_processus);
+		liberation_allocateur_buffer(s_etat_processus);
 		free(s_etat_processus);
 
 #		ifdef DEBUG_MEMOIRE