main()                                                                          
               {                                                                     
               double    B=4095.1;                                                   
               double    A=B+1;                                                      
                                   /* A-B = 1                                      */
               double    x=1;                                                        
                                   /* 'x' est invariant (x = 1)...                 */
               int       n;                                                          
               for       (n=1 ; n<=9 ; n++)                                          
                         {                                                           
                                                                                     
                         x = (A*x) - B;                                              
                                   /* 'x' est invariant (x = 1)...                 */
                         }                                                           
               }                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
                                                                                     
 JFC                                                                                 
 www.lactamme.polytechnique.fr