--- rpl/src/rpl.h	2010/05/25 18:09:45	1.39
+++ rpl/src/rpl.h	2010/06/24 10:10:46	1.45
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.16
+  RPL/2 (R) version 4.0.17
   Copyright (C) 1989-2010 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -445,9 +445,6 @@ void *debug_memoire_modification(void *p
 void debug_memoire_retrait(void *ptr);
 void debug_memoire_verification();
 
-void debug_memoire_verrouillage();
-void debug_memoire_deverrouillage();
-
 pid_t debug_fork();
 
 #define malloc(s) debug_memoire_ajout(s, __FUNCTION__, __LINE__, #s)
@@ -1135,6 +1132,7 @@ typedef struct descripteur_thread
 	pthread_t					thread_pere;
 
 	pthread_mutex_t				mutex;
+
 	volatile logical1			thread_actif;
 
 	int							pipe_erreurs[2];
@@ -1855,6 +1853,7 @@ typedef struct processus
 
 	// Mutex spécifique au processus et donnant accès à la pile des processus
 	pthread_mutex_t				mutex;
+	pthread_mutex_t				mutex_allocation;
 
 	// Sémaphore autorisant les fork()
 	sem_t
@@ -2615,6 +2614,7 @@ void scrutation_injection(struct_process
 void sf(struct_processus *s_etat_processus, unsigned char indice_drapeau);
 void *surveillance_processus(void *argument);
 void swap(void *variable_1, void *variable_2, unsigned long taille_octets);
+void trace(struct_processus *s_etat_processus, FILE *flux);
 void traitement_asynchrone_exceptions_gsl(struct_processus *s_etat_processus);
 void traitement_exceptions_gsl(const char *reason, const char *file,
 		int line, int gsl_errno);