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