diff --git a/documents/casUtilisation/userStories/userStoryExpressionArithmetique.pdf b/documents/casUtilisation/userStories/userStoryExpressionArithmetique.pdf
new file mode 100644
index 0000000..25a57ab
Binary files /dev/null and b/documents/casUtilisation/userStories/userStoryExpressionArithmetique.pdf differ
diff --git a/documents/casUtilisation/userStories/userStoryExpressionArithmetique.tex b/documents/casUtilisation/userStories/userStoryExpressionArithmetique.tex
new file mode 100644
index 0000000..b9ec3c3
--- /dev/null
+++ b/documents/casUtilisation/userStories/userStoryExpressionArithmetique.tex
@@ -0,0 +1,38 @@
+\documentclass[12pt,a5paper, notitle, oneside]{report}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[french]{babel}
+\usepackage[landscape, top=0.5cm]{geometry}
+\begin{document}
+
+    \chapter*{Récit d'utilisation}
+
+    \paragraph{Titre : } Expression arithmétique
+    \paragraph{Récit : } Calcul à l'aide d'expression arithmétique
+    \paragraph{En tant que : } Programmeur
+    \paragraph{Je souhaite : } que l'Interpréteur LIR effectue une
+    opération arithmétique courante (addition, soustraction,
+    multiplication, quotient ou reste d'une division entière)
+    \paragraph{Afin que : } j'en exploite ou vois le résultat
+    \newpage
+
+    \chapter*{Critères d'acceptation}
+
+    \paragraph{À partir de : } d'une ligne de l'interpréteur ou d'une
+    ligne de programme à mémoriser et d'identificateurs auxquels une
+    valeur aura été affectée préalablement ou de constantes littérales
+    numérique.
+
+    \paragraph{Alors : } j'entre une expression composée de deux
+    opérandes de type entier signé et d'un opérateur.
+    \\ Les opérandes peuvent être :
+    \begin{itemize}
+        \item deux constantes littérales
+        \item deux identificateurs
+        \item une constante littérale et un identificateur
+    \end{itemize}
+    \paragraph{Enfin : } j'obtiens le résultat de l'opération ou un
+    message d'erreur m'informant que l'opération est impossible pour les
+    identificateurs ou constantes littérales saisies.
+
+\end{document}
\ No newline at end of file
diff --git a/documents/casUtilisation/userStories/userStoryExpressionLogique.pdf b/documents/casUtilisation/userStories/userStoryExpressionLogique.pdf
new file mode 100644
index 0000000..9476b8b
Binary files /dev/null and b/documents/casUtilisation/userStories/userStoryExpressionLogique.pdf differ
diff --git a/documents/casUtilisation/userStories/userStoryExpressionLogique.tex b/documents/casUtilisation/userStories/userStoryExpressionLogique.tex
new file mode 100644
index 0000000..b583be1
--- /dev/null
+++ b/documents/casUtilisation/userStories/userStoryExpressionLogique.tex
@@ -0,0 +1,39 @@
+\documentclass[12pt,a5paper, notitle, oneside]{report}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[french]{babel}
+\usepackage[landscape, top=0.5cm]{geometry}
+\begin{document}
+
+    \chapter*{Récit d'utilisation}
+
+    \paragraph{Titre : } Expression logique dans un branchement
+    conditionnel
+    \paragraph{Récit : } Opérations relationnelles sur deux entiers
+    \paragraph{En tant que : } Programmeur
+    \paragraph{Je souhaite : } que l'Interpréteur LIR compare deux
+    entiers avec une relation d'ordre ou d'équivalence
+    \paragraph{Afin que : } d'exécuter ou non une branche du code avec
+    l'instruction si
+    \newpage
+
+    \chapter*{Critères d'acceptation}
+
+    \paragraph{À partir de : } d'une ligne de programme à mémoriser et d'identificateurs auxquels une valeur aura été affectée préalablement
+    ou de constantes littérales de type entier signé.
+
+    \paragraph{Alors : } j'entre une expression composée de deux
+    opérandes de type entier signé et d'un opérateur et l'interpréteur
+    évalue l'expression.
+    \\ Les opérandes peuvent être :
+    \begin{itemize}
+        \item deux constantes littérales
+        \item deux identificateurs
+        \item une constante littérale et un identificateur
+    \end{itemize}
+
+    \paragraph{Enfin : } si l'expression (condition dans l'instruction)
+    est vraie alors l'exécution continuera à partir du numéro de ligne
+    spécifié par l’étiquette, sinon l'exécution continuera en séquence.
+
+\end{document}
\ No newline at end of file
diff --git a/documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.pdf b/documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.pdf
new file mode 100644
index 0000000..648a175
Binary files /dev/null and b/documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.pdf differ
diff --git a/documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.tex b/documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.tex
new file mode 100644
index 0000000..ffb926e
--- /dev/null
+++ b/documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.tex
@@ -0,0 +1,40 @@
+\documentclass[12pt,a5paper, notitle, oneside]{report}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[french]{babel}
+\usepackage[landscape, top=0.5cm]{geometry}
+\begin{document}
+
+    \chapter*{Récit d'utilisation}
+
+    \paragraph{Titre : } Expression logique dans un branchement
+    conditionnel
+    \paragraph{Récit : } Opérations relationnelles sur deux chaînes de
+    caractères
+    \paragraph{En tant que : } Programmeur
+    \paragraph{Je souhaite : } que l'Interpréteur LIR compare deux
+    chaînes de caractères avec une relation d'ordre ou d'équivalence
+    \paragraph{Afin que : } d'exécuter ou non une branche du code avec
+    l'instruction si
+    \newpage
+
+    \chapter*{Critères d'acceptation}
+
+    \paragraph{À partir de : } d'une ligne de programme à mémoriser et d'identificateurs auxquels une valeur aura été affectée préalablement
+    ou de constantes littérales de type chaîne de caractères.
+
+    \paragraph{Alors : } j'entre une expression composée de deux
+    opérandes de type chaîne de caractères et d'un opérateur et l'interpréteur
+    évalue l'expression.
+    \\ Les opérandes peuvent être :
+    \begin{itemize}
+        \item deux constantes littérales
+        \item deux identificateurs
+        \item une constante littérale et un identificateur
+    \end{itemize}
+
+    \paragraph{Enfin : } si l'expression (condition dans l'instruction)
+    est vraie alors l'exécution continuera à partir du numéro de ligne
+    spécifié par l’étiquette, sinon l'exécution continuera en séquence.
+
+\end{document}
\ No newline at end of file
diff --git a/documents/casUtilisation/userStories/userStoryExpressionSurChaine.pdf b/documents/casUtilisation/userStories/userStoryExpressionSurChaine.pdf
new file mode 100644
index 0000000..04f9927
Binary files /dev/null and b/documents/casUtilisation/userStories/userStoryExpressionSurChaine.pdf differ
diff --git a/documents/casUtilisation/userStories/userStoryExpressionSurChaine.tex b/documents/casUtilisation/userStories/userStoryExpressionSurChaine.tex
new file mode 100644
index 0000000..2ded1d5
--- /dev/null
+++ b/documents/casUtilisation/userStories/userStoryExpressionSurChaine.tex
@@ -0,0 +1,31 @@
+\documentclass[12pt,a5paper, notitle, oneside]{report}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[french]{babel}
+\usepackage[landscape, top=0.5cm]{geometry}
+\begin{document}
+
+    \chapter*{Récit d'utilisation}
+
+    \paragraph{Titre : } Expression sur chaînes
+    \paragraph{Récit : } Concaténation de chaînes
+    \paragraph{En tant que : } Programmeur
+    \paragraph{Je souhaite : } que l'Interpréteur LIR concatène deux chaînes
+    \paragraph{Afin que : } j'en exploite ou vois le résultat
+    \newpage
+
+    \chapter*{Critères d'acceptation}
+
+    \paragraph{À partir de : } d'une ligne de l'interpréteur ou d'une
+    ligne de programme à mémoriser et d'identificateurs auxquels une
+    valeur aura été affectée préalablement ou de constantes littérales
+    de type chaînes de caractères.
+
+    \paragraph{Alors : } j'entre une expression composée de deux
+    opérandes de type chaîne de caractères et d'un opérateur.
+
+    \paragraph{Enfin : } j'obtiens le résultat de l'opération ou un
+    message d'erreur m'informant que l'opération est impossible pour les
+    identificateurs ou constantes littérales saisies.
+
+\end{document}
\ No newline at end of file