--- rpl/src/gestion_threads.c	2010/06/17 11:00:23	1.20
+++ rpl/src/gestion_threads.c	2010/06/19 15:54:51	1.21
@@ -1077,6 +1077,7 @@ lancement_thread(void *argument)
 
 	retrait_thread(s_etat_processus);
 	pthread_mutex_destroy(&((*s_etat_processus).mutex));
+	pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
 
 	free((*s_etat_processus).localisation);
 	free(s_etat_processus);