1 févr. 2002 ... pour une premi`ere édition d'un livre dont je n'ai consulté qu'une édition
ultérieure par exemple; il se pourrait donc que les notations aient évolué .....
Herbrand (1928) : Sur la théorie de la démonstration (Comptes rendus
hebdomadaires des séances de l'Académie des sciences, Paris, 186 : 1274?
1276, ... 
