diff --git a/recherche.tex b/recherche.tex
index 05aa505..e04b038 100644
--- a/recherche.tex
+++ b/recherche.tex
@@ -315,14 +315,14 @@ famille des langages.
 
 \subsection{Systèmes à réactions}
 Les systèmes à réactions ({\em reaction systems}) sont un autre modèle
-formel inspiré par la cellule biologique, et surtout des réactions
+formel inspiré par la cellule biologique, et surtout par les réactions
 chimiques qui y ont
 lieu~\cite{brij-atofrs,ehrenfeucht2007reaction}. Les systèmes à
 réactions se fondent sur deux principes. Le premier est le principe de
 non permanence : une ressource qui ne participe pas à une interaction
 disparaît du système. Le deuxième principe est que si une ressource
 est présente dans le système, alors elle y est en quantité
-illimité. Cela fait des systèmes à réactions un modèle intrinsèquement
+illimitée. Cela fait des systèmes à réactions un modèle intrinsèquement
 qualitatif qui manipule des ensembles des symboles.
 
 Les interactions entre les symboles dans les systèmes à réactions sont
@@ -331,8 +331,8 @@ réactifs, les inhibiteurs et les produits. Pour qu'une réaction soit
 applicable à un ensemble, celui-ci doit contenir tous les réactifs de
 la réaction et ne contenir aucun de ses inhibiteurs. Le résultat de
 cette application est l'ensemble des produits ; les symboles qui n'ont
-pas été consommé par la réaction disparaissent. Le résultat
-d'application concomitante de plusieurs réaction est l'union de leurs
+pas été consommés par la réaction disparaissent. Le résultat
+d'application concomitante de plusieurs réactions est l'union de leurs
 produits.
 
 Les systèmes à réactions étant un modèle de calcul assez particulier,
@@ -342,7 +342,7 @@ d'origine et nous nous sommes proposé d'utiliser les systèmes à
 réactions pour modéliser les voies métaboliques d'une cellule. Une
 partie essentielle d'une telle modélisation serait la vérification
 formelle qu'un système concret correspond suffisamment bien au
-phénomène qu'il modélise. Nous avons donc adapté plusieurs concepts
+phénomène qu'il modélise. Dans ce but, nous avons adapté plusieurs concepts
 utilisés dans la modélisation biologique habituelle, dont la
 conservation de la masse, et nous avons prouvé que décider la plupart
 des propriétés qu'un système à réactions peut avoir vis-à-vis de ces