diff --git a/content/conception_formelle/2_verification/index.md b/content/conception_formelle/2_verification/index.md
index af87a7e..93f43ae 100644
--- a/content/conception_formelle/2_verification/index.md
+++ b/content/conception_formelle/2_verification/index.md
@@ -167,13 +167,13 @@ Nous avons ensuite les *sets de **tout*** :
 
 Les sets d'états initiaux: `initial`
 
-Et un ensemble de transitions " `self`, `epsilon`, `self-epsilon` : boucles sur
+Et un ensemble de transitions `self`, `epsilon`, `self-epsilon` : boucles sur
 les états.
 
-Il est possible de calcules des expressions élémentaires via des variables, par
+Il est possible de calculer des expressions élémentaires via des variables, par
 exemple:
 
-\\([ s%2 = 0 ]\\)
+\\([ s \\% 2 = 0 ]\\)
 
 Permet de trouver les états pairs.