--- rpl/src/gestion_pile_systeme.c	2010/01/26 15:22:44	1.1.1.1
+++ rpl/src/gestion_pile_systeme.c	2010/05/16 19:36:20	1.9
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.9
+  RPL/2 (R) version 4.0.15
   Copyright (C) 1989-2010 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -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
@@ -259,6 +261,30 @@ depilement_pile_systeme(struct_processus
 	}
 
 	return;
+}
+
+
+/*
+================================================================================
+  Procédure d'effacement de la pile système
+================================================================================
+  Entrée :
+--------------------------------------------------------------------------------
+  Sortie :
+--------------------------------------------------------------------------------
+  Effets de bord : néant
+================================================================================
+*/
+
+void
+effacement_pile_systeme(struct_processus *s_etat_processus)
+{
+	while((*s_etat_processus).l_base_pile_systeme != NULL)
+	{
+		depilement_pile_systeme(s_etat_processus);
+	}
+
+	return;
 }
 
 // vim: ts=4