--- a/doc/canonisation.txt Thu Dec 12 03:14:30 2019 +0100
+++ b/doc/canonisation.txt Thu Dec 12 03:16:01 2019 +0100
@@ -185,7 +185,7 @@
Problèmes
---------
-.1 Les paires de formules suivantes sont considérées comme identiques par
+1. Les paires de formules suivantes sont considérées comme identiques par
l'algorithme ci-dessus alors qu'elles ne le sont pas:
::
@@ -207,4 +207,4 @@
'nom_nom' : [(Y, 'jphc', Y, 'ludal')]
}
-.2 risque de collision dans les noms de variables non sélectionnées (un exemple ?).
\ No newline at end of file
+2. risque de collision dans les noms de variables non sélectionnées (un exemple ?).