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;                                                                                  
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
               x0 = 1;                                                                                   
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
               }                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
                                                                                                         
 JFC                                                                                                     
 www.lactamme.polytechnique.fr