diff --git a/lib/typeSubstitution.ml b/lib/typeSubstitution.ml
index a15dfb0..23eb50a 100644
--- a/lib/typeSubstitution.ml
+++ b/lib/typeSubstitution.ml
@@ -31,7 +31,7 @@ let compose s2 s1 =
         match ty1, ty2 with
         (* Dans ce cas, on donne la priorité à s1 *)
         | Some ty1', Some _ -> Some ty1'
-        (* Utilisation de la substitution que l'on à déjà *)
+        (* Utilisation de la substitution que l'on a déjà *)
         | Some ty1', None -> Some ty1'
         | None, Some ty2' -> Some ty2'
         (* Variable untyped *)