--- rpl/src/instructions_d5.c	2011/09/20 08:56:23	1.71
+++ rpl/src/instructions_d5.c	2011/09/20 14:36:29	1.72
@@ -2768,8 +2768,14 @@ instruction_detach(struct_processus *s_e
 		pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
 		pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));
 
+#		ifndef SEMAPHORES_NOMMES
 		sem_post(&((*s_etat_processus).semaphore_fork));
 		sem_destroy(&((*s_etat_processus).semaphore_fork));
+#		else
+		sem_post((*s_etat_processus).semaphore_fork);
+		sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
+				pthread_self());
+#		endif
 
 		free((*s_etat_processus).localisation);
 		free(s_argument_thread);