--- 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 ?).