--- rpl/src/instructions_d5.c	2014/07/17 08:07:20	1.118
+++ rpl/src/instructions_d5.c	2014/10/13 07:12:54	1.119
@@ -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;
 			}