--- rpl/src/instructions_d5.c	2013/12/03 09:36:12	1.115
+++ rpl/src/instructions_d5.c	2015/01/08 14:29:51	1.122
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.17
-  Copyright (C) 1989-2013 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.20
+  Copyright (C) 1989-2015 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -767,6 +767,7 @@ instruction_der(struct_processus *s_etat
 			if ((s_objet_simplifie = simplification(s_etat_processus,
 					s_objet_resultat)) == NULL)
 			{
+				liberation(s_etat_processus, s_objet_resultat);
 				return;
 			}
 
@@ -2801,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