diff --git a/.gitattributes b/.gitattributes
index 10d8008ffd3f425c7ace6ee32daeaf96c26a58bb..badf7a93a94c5e0c33d6937494a3730f314ddd4e 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -57,8 +57,6 @@ Changelog merge=union
 /doc/developer/TODO -check-utf8
 /doc/index.html -check-utf8
 /doc/makeLatex -check-utf8
-/doc/scope/M.v -check-utf8
-/doc/scope/Makefile -check-utf8
 /doc/training/developer/macros.tex -check-utf8
 /doc/value/README -check-utf8
 
diff --git a/doc/scope/M.v b/doc/scope/M.v
index f9758e8a131b33ca06f9d75c757a8a3a0da352d3..f57ee83e7a37cf88dfeffbd9e2a7b290900979a4 100644
--- a/doc/scope/M.v
+++ b/doc/scope/M.v
@@ -175,7 +175,7 @@ Parameter ma : inst -> inst -> mark.
 Axiom maStart : forall L I, ma L I = Start -> L = I.
 Axiom maL : forall L, ma L L = Start.
 
-(** propriété du marquage après stabilité *)
+(** propriété du marquage après stabilité *)
 Axiom Pma : forall L i', 
   ma L i' = lmerge (List.map (fun i => trans i (ma L i)) (pred i')).
 
diff --git a/doc/scope/Makefile b/doc/scope/Makefile
index ac55e30f1991ffdb38612fdfcb1ee248d6e01ce8..5f47605deb544a3fe1371695312c2207b21d11f3 100644
--- a/doc/scope/Makefile
+++ b/doc/scope/Makefile
@@ -20,7 +20,7 @@
 #                                                                        #
 ##########################################################################
 
-#vide : pour ne pas utiliser de règles implicites
+#vide : pour ne pas utiliser de règles implicites
 .SUFFIXE:
 .PHONY: clean all debug