--- rpl/src/gestion_pile_systeme.c	2010/05/16 19:36:20	1.9
+++ rpl/src/gestion_pile_systeme.c	2010/05/24 10:58:30	1.11
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.15
+  RPL/2 (R) version 4.0.16
   Copyright (C) 1989-2010 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -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