--- Marqueur de fin de proposition                              
                                                       |                                                                
                                                       |                                                                
     Un ensemble dénombrable de symboles :             $ a 0 = + - * /   etc...                                         
     Il est donc possible de numéroter ces symboles :  1 2 3 4 5 6 7 8   etc...                                         
                                                                                                                        
                                                                                                                        
     Un exemple de proposition :                       a+0=a$                                                           
                                                                                                                        
                                                       a   +   0   =   a    $                                           
                                                                                                                        
     Le codage des symboles :                          2   5   3   4   2    1                                           
                                                                                                                        
                                                                                                                        
     Les nombres premiers dans l'ordre :              2   3   5   7   1   13   etc...                                   
     (1 n'est pas un nombre premier)                                                                                    
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
 JFC                                                                                                                    
 www.lactamme.polytechnique.fr