diff --git a/12.temporary_ins/99.maths/10.logic/textbook.fr.md b/12.temporary_ins/99.maths/10.logic/textbook.fr.md
index fa85a48d8..e05b46ce0 100644
--- a/12.temporary_ins/99.maths/10.logic/textbook.fr.md
+++ b/12.temporary_ins/99.maths/10.logic/textbook.fr.md
@@ -673,6 +673,40 @@ and we write :
an we write :
*$`\mathbf{P\;\;OR\;\;Q\;\;OR\;\;R}`$*
+
+[ES] _¿Demostración de la primera equivalencia en forma de animación o un menú desplegable?_
+[FR] _Démonstration de la première équivalence sous forme d'animation, ou d'un menu déroulant?_
+[EN] _Demonstration of the first equivalence in the form of an animation, or a drop-down menu?_
+
+| $`\;P\;`$ | $`\;Q\;`$ | $`\;R\;`$ | $`\quad P\;OR\;Q\quad `$ | $`\quad (P\;OR\;Q)\;OR\;R\quad `$ |
+| :---: | :---: | :---: | :---: | :---: |
+| V | V | V | V | V |
+| V | V | F | V | V |
+| V | F | V | V | V |
+| V | F | F | V | V |
+| F | V | V | V | V |
+| F | V | F | V | V |
+| F | F | V | F | V |
+| F | F | F | F | F |
+
+and
+
+| $`\;P\;`$ | $`\;Q\;`$ | $`\;R\;`$ | $`\quad Q\;OR\;R\quad `$ | $`\quad P\;OR\;(Q\;OR\;R)\quad `$ |
+| :---: | :---: | :---: | :---: | :---: |
+| V | V | V | V | V |
+| V | V | F | V | V |
+| V | F | V | V | V |
+| V | F | F | F | V |
+| F | V | V | V | V |
+| F | V | F | V | V |
+| F | F | V | V | V |
+| F | F | F | F | F |
+
+
+[ES] _¿Demostración de la segunda equivalencia en forma de ejercicio de autoevaluación (menú de autodesplazamiento) en la parte "más allá"?_
+[FR] _Démonstration de la deuxième équivalence sous forme d'un exercice d'autoévaluation (menu autoréroulant) dans la partie au-delà?_
+[EN] _Demonstration of the second equivalence in the form of a self-assessment exercise (drop-down menu) in the beyond part?_
+
-------------------------
*[Math_Logic-190] Distributividad / distributivité / distributivity*
@@ -680,3 +714,8 @@ an we write :
[ES] (¡ auto-transl !) Para cualquier aserción lógica $`P`$ :
[FR] Pour toute assertion logique $`P`$ :
[EN] (auto-transl !) For any logical statement $`P`$ :
+
+à terminer
+
+
+