diff -r e36548de56b5 -r 253d595246d0 RelaxNG/Examples/Documents/torture_test.xml --- a/RelaxNG/Examples/Documents/torture_test.xml lun. déc. 16 12:54:51 2013 +0100 +++ b/RelaxNG/Examples/Documents/torture_test.xml lun. déc. 16 13:27:01 2013 +0100 @@ -849,7 +849,7 @@ admet les solutions suivantes si elles existent : - +