typo paradigmes et ajout bo pour processus

Paradigmes/README.md

@@ -83,7 +83,7 @@ Pas d'état interne
 Les données sont non mutables
 ```
 
-Un traitement complexe s'obtiendra en composant plusieurs fonctions intermédiaires simples et une boucle s’obtiendra par une fonction qui s’appelle elle-même : **récursion**.
+Un traitement complexe s'obtiendra en composant plusieurs fonctions intermédiaires simples et une boucle s’obtiendra par une fonction qui s’appelle elle-même : **récursivité**.
 
 En clair : **__La variable n'existe pas !__**.
 
@@ -136,7 +136,7 @@ print("Avec k=3 : ", ajoute_k_a_n(3))
 
 #### Fonctions lambdas
 
-λ-calcul (années 1930) : système formel inventé par Alonzo Church fonde les concepts de fonction et d'application premier formalisme qui définit et caractérise les fonctions récursives.
+λ-calcul (années 1930) : un système formel inventé par Alonzo Church qui fonde les concepts de fonction et d'application. Il s'agit du premier formalisme qui définit et caractérise les fonctions récursives.
 
 ```lambda : x -> expression(x)```
 
@@ -201,7 +201,7 @@ liste_filtree = filter(f_filtre, liste)
 
 #### Boucler en programmation fonctionnelle
 
-On utilise la récursion, la fonction s’appelant elle-même un certain nombre de fois.
+On utilise la récursivité, la fonction s’appelant elle-même un certain nombre de fois.
 
 ```python
 def ajoute_5(n, x):

Processus/README.md

@@ -1,4 +1,10 @@
-# Gestion des processus et des ressources
+## Gestion des processus et des ressources
+
+
+
+### Le programme
+
+![bo.png](assets/bo.png)
 
 ------