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          */
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
               }                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
 JFC                                                                                                     
 www.lactamme.polytechnique.fr