diff -r bd4ff455b83f -r fb3173d57512 RelaxNG/Examples/Topics/proba01.xml --- a/RelaxNG/Examples/Topics/proba01.xml mer. juin 06 18:16:53 2012 +0200 +++ b/RelaxNG/Examples/Topics/proba01.xml mar. juin 12 11:39:05 2012 +0200 @@ -1,7 +1,7 @@ - + Qu'est-ce qu'une probabilité ?