--- rpl/src/gestion_pile_systeme.c	2010/04/21 13:45:45	1.8
+++ rpl/src/gestion_pile_systeme.c	2010/05/16 19:36:20	1.9
@@ -211,6 +211,8 @@ 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