--- rpl/src/instructions_d5.c	2016/03/09 17:49:11	1.140
+++ rpl/src/instructions_d5.c	2016/03/09 22:11:27	1.141
@@ -1122,6 +1122,7 @@ instruction_detach(struct_processus *s_e
 	{
 		// On ne déverrouille les threads concurrents que dans le processus
 		// père. Dans le fils, les valeurs sont non initialisées.
+uprintf("PID=%d\n", getpid());
 		deverrouillage_threads_concurrents(s_etat_processus);
 	}