--- rpl/src/gestion_pile_systeme.c	2010/05/16 19:36:20	1.9
+++ rpl/src/gestion_pile_systeme.c	2010/05/19 09:22:34	1.10
@@ -211,8 +211,6 @@ depilement_pile_systeme(struct_processus
 
 	if ((*s_etat_processus).l_base_pile_systeme == NULL)
 	{
-		rplcore(s_etat_processus);
-		BUG(1);
 		(*s_etat_processus).erreur_systeme = d_es_pile_vide;
 	}
 	else