--- rpl/src/interruptions.c	2014/05/17 15:37:29	1.144
+++ rpl/src/interruptions.c	2014/05/17 21:39:59	1.145
@@ -3321,13 +3321,8 @@ destruction_queue_signaux(struct_process
 			}
 #		endif
 #	else // POSIX
-		sem_close(semaphore_queue_signaux);
 		sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE);
-
-		sem_close(semaphore_signalisation);
 		sem_destroy2(semaphore_signalisation, getpid(), SEM_SIGNALISATION);
-
-		sem_close(semaphore_arret_signalisation);
 		sem_destroy2(semaphore_arret_signalisation, getpid(),
 				SEM_ARRET_SIGNALISATION);