--- rpl/src/rpl.c 2016/03/16 12:19:35 1.180 +++ rpl/src/rpl.c 2016/03/16 12:54:22 1.181 @@ -5762,11 +5762,13 @@ rplinit(int argc, char *argv[], char *en erreur = d_erreur; } - sys_free(arg_exec); liberation_etat_processus_readline(); + liberation_allocateur_buffer(s_etat_processus); pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation_buffer)); + sys_free(s_etat_processus); + sys_free(arg_exec); # ifdef DEBUG_MEMOIRE debug_memoire_verification();