Merge branch 'master' of github.com:hugoroy/exegetesDoc

filters/nettoyage-etendu.zsh

@@ -1,4 +1,4 @@
 #!/bin/bash
 
-sed 's#"t":"Space"},{"t":"Str","c":";#"t":"Str","c":" :#g' | \
+sed 's#"t":"Space"},{"t":"Str","c":";#"t":"Str","c":" ;#g' | \
     sed 's#"t":"Space"},{"t":"Str","c":";#"t":"Str","c":" ;#g'