--- rpl/src/instructions_d5.c	2016/03/22 17:12:14	1.148
+++ rpl/src/instructions_d5.c	2016/03/22 19:03:36	1.149
@@ -2838,7 +2838,14 @@ instruction_detach(struct_processus *s_e
 		liberation_allocateur(s_etat_processus);
 		liberation_allocateur_buffer(s_etat_processus);
 
-		while(nombre_thread_surveillance_processus != 0);
+		attente.tv_sec = 0;
+		attente.tv_nsec = GRANULARITE_us * 1000;
+
+		while(nombre_thread_surveillance_processus != 0)
+		{
+			nanosleep(&attente, NULL);
+			INCR_GRANULARITE(attente.tv_nsec);
+		}
 
 		pthread_mutex_destroy(&((*s_etat_processus).mutex_pile_processus));
 		pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));