main()                                                                                              
               {                                                                                         
               double    A,B,x0,x1,x2,x3,x4,x5,x6,x7;                                                    
                                        /* Utilisation de la "double précision" représentant les       */
                                        /* nombres flottants sur 64 bits.                              */
                                                                                                         
               B = 4095.1;                                                                               
               A = B+1;                                                                                  
                                        /* A-B = 1                                                     */
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
               x0 = 1;                                                                                   
                                        /* x0=1                                                        */
               x1 = (A*x0) - B;                                                                          
                                        /* on a :           x1 = (A*x0)-B = (A*1)-B = A-B = 1          */
               x2 = (A*x1) - B;                                                                          
               x3 = (A*x2) - B;                                                                          
               x4 = (A*x3) - B;                                                                          
               x5 = (A*x4) - B;                                                                          
               x6 = (A*x5) - B;                                                                          
               x7 = (A*x6) - B;                                                                          
                                        /* et de même :     x7 = x6 = x5 = x4 = x3 = x2 = x1 = x0 = 1  */
               }                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
 JFC                                                                                                     
 www.lactamme.polytechnique.fr