--- rpl/src/rpl.h	2011/08/03 09:26:47	1.109
+++ rpl/src/rpl.h	2011/08/09 10:30:38	1.110
@@ -2146,6 +2146,8 @@ typedef struct processus
 	gsl_rng						*generateur_aleatoire;
 	const gsl_rng_type			*type_generateur_aleatoire;
 
+	void						*contexte_cas;
+
 	integer8					nombre_arguments;
 
 	/*
@@ -2883,6 +2885,7 @@ void impression_tex(struct_processus *s_
 void informations(struct_processus *s_etat_processus);
 void initialisation_allocateur(struct_processus *s_etat_processus);
 void initialisation_completion(void);
+void initialisation_contexte_cas(struct_processus *s_etat_processus);
 void initialisation_drapeaux(struct_processus *s_etat_processus);
 void initialisation_generateur_aleatoire(struct_processus *s_etat_processus,
 		logical1 initialisation_automatique, unsigned long int racine);
@@ -2929,6 +2932,7 @@ void liberation_arbre_instructions(struc
 		struct_instruction *arbre);
 void liberation_arbre_variables(struct_processus *s_etat_processus,
 		struct_arbre_variables *arbre, logical1 definitions);
+void liberation_contexte_cas(struct_processus *s_etat_processus);
 void liberation_generateur_aleatoire(struct_processus *s_etat_processus);
 void liberation_threads(struct_processus *s_etat_processus);
 void liberation_profil(struct_processus *s_etat_processus);