--- rpl/src/rpl.c	2010/02/10 10:14:26	1.7
+++ rpl/src/rpl.c	2010/02/28 14:47:14	1.8
@@ -3341,6 +3341,10 @@ rplinit(int argc, char *argv[], unsigned
 	sem_destroy(&semaphore_gestionnaires_signaux);
 	sem_destroy(&semaphore_gestionnaires_signaux_atomique);
 
+#	ifdef DEBUG_MEMOIRE
+	debug_memoire_verification(s_etat_processus);
+#	endif
+
 	return((erreur == d_os) ? EXIT_SUCCESS : EXIT_FAILURE);
 }