Le numéro d'une proposition ne suffit pas ŕ déterminer la proposition qu'elle commente. Ainsi, la
proposition 2.01 n'est pas un commentaire de la proposition 2.0. Celle-ci n'existe pas
(ordre total, mais non bon ordre). La « zéro-proposition » 2.01 peut en fait ętre considérée
comme un commentaire direct de la proposition 2.
Knoppix User
2003-05-29
