--- rpl/src/rpl.h	2011/07/25 07:45:00	1.107
+++ rpl/src/rpl.h	2011/08/01 08:07:55	1.108
@@ -2292,6 +2292,7 @@ typedef struct fonction
 // BEGIN C PROTOTYPES
 void instruction_sensible_e(struct_processus *s_etat_processus);
 void instruction_sensible_i(struct_processus *s_etat_processus);
+void instruction_sensible_infinity(struct_processus *s_etat_processus);
 
 void instruction_abort(struct_processus *s_etat_processus);
 void instruction_abs(struct_processus *s_etat_processus);
@@ -2488,6 +2489,7 @@ void instruction_in(struct_processus *s_
 void instruction_incr(struct_processus *s_etat_processus);
 void instruction_indep(struct_processus *s_etat_processus);
 void instruction_input(struct_processus *s_etat_processus);
+void instruction_infinity(struct_processus *s_etat_processus);
 void instruction_inquire(struct_processus *s_etat_processus);
 void instruction_int(struct_processus *s_etat_processus);
 void instruction_interrupt(struct_processus *s_etat_processus);