correcteur orthographique + couverture

Author: arnaud

bitcoin/bitcoin.tex

@@ -401,14 +401,14 @@
 
     \item Une \emph{transaction} est une chaîne de caractères comprenant un nom et la somme à ajouter (ou à retrancher) à son compte. Par exemple \ci{"Abel +25"} ou \ci{"Barbara -45"}.
 
-    Programme une fonction \ci{ajout_transaction(transaction)} qui ajoute la chaine de caractère \ci{transaction} à la liste \ci{Livre}. 
+    Programme une fonction \ci{ajout_transaction(transaction)} qui ajoute la chaîne de caractère \ci{transaction} à la liste \ci{Livre}. 
 Par exemple après l'initialisation \ci{ajout_transaction("Camille +100")},  
     \ci{Livre} vaut \ci{[ [0, 0, 0, 0, 0, 0], "Camille +100" ]}.
     Attention, pour pouvoir modifier \ci{Livre} il faut commencer la fonction par : \ci{global Livre}.
 
   \end{enumerate} 
 
-   \item Dès qu'une transaction est ajoutée, il faut calculer et ajouter au livre de comptes une preuve de travail. Programme une fonction \ci{minage()}, sans paramètre, qui ajoute une preuve de travail au livre.   
+   \item Dès qu'une transaction est ajoutée, il faut calculer et ajouter au livre de compte une preuve de travail. Programme une fonction \ci{minage()}, sans paramètre, qui ajoute une preuve de travail au livre.   
 
 Voici comment faire :
   \begin{itemize}

bitcoin/pres-bitcoin.pdf

@@ -181,28 +181,31 @@ \section*{Hachage d'une liste}
 \tikzinput{fig-bitcoin-2}
 }     
 
-\end{document}
-
+\newpage
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % Activité 4
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-\begin{activite}[Preuve de travail - Minage]
+\section*{Preuve de travail - Minage}
 
-\objectifs{Objectifs : construire un mécanisme de preuve de travail à l'aide de notre fonction de hachage.}
-
-\index{minage}
 
 On va construire un problème compliqué à résoudre, pour lequel, si quelqu'un nous donne la solution, alors il est facile de vérifier qu'elle convient.
 
+\bigskip
+
 \textbf{Problème à résoudre.} On nous donne une liste, il s'agit de trouver un bloc tel que, lorsque qu'on le rajoute à la liste, cela produit un hachage commençant par des zéros.
 Plus précisément étant donné une liste  \ci{liste} et un objectif maximal \ci{Max}, il s'agit de trouver un bloc \ci{preuve} qui, concaténé à la liste puis haché, est plus petit que la liste \ci{Max}, c'est-à-dire : \\
 \centerline{\ci{hachage(liste + preuve)} \  plus petit que \  \ci{Max}}
 
-La liste est de longueur quelconque (un multiple de $N=6$), la preuve est un bloc de longueur $N$, l'objectif est de trouver une liste commençant par des $0$ (voir l'activité 2).
 
-Par exemple : soit la \ci{liste = [0,1,2,3,4,5]} et \ci{Max = [0,0,7]}. Quel bloc \ci{preuve} puis-je concaténer à \ci{liste} pour résoudre mon problème ?
+La liste est de longueur quelconque (un multiple de $N=6$), la preuve est un bloc de longueur $N$, l'objectif est de trouver une liste commençant par des $0$.
+
+\newpage
+
+\textbf{Exemple.}
+
+soit la \ci{liste = [0,1,2,3,4,5]} et \ci{Max = [0,0,7]}. Quel bloc \ci{preuve} puis-je concaténer à \ci{liste} pour résoudre mon problème ?
 \begin{itemize}
   \item \ci{preuve = [12, 3, 24, 72, 47, 77]} convient car concaténé à notre liste cela donne \ci{[0,1,2,3,4,5,12, 3, 24, 72, 47, 77]} et le hachage de toute cette liste vaut
   \ci{[0, 0, 5, 47, 44, 71]} qui commence par \ci{[0,0,5]} plus petit que l'objectif.
@@ -213,15 +216,20 @@ \section*{Hachage d'une liste}
   \item \ci{[97, 49, 93, 87, 89, 47]} ne convient pas, car après concaténation puis hachage on obtient \ci{[0, 0, 8, 28, 6, 60]} qui est plus grand que l'objectif voulu.
 \end{itemize}
 
-\begin{enumerate}
-  \item \textbf{Vérification (facile).} 
+
+\newpage
+
+\textbf{Vérification (facile).} 
 
-  Programme une fonction \ci{verification_preuve_de_travail(liste,preuve)} qui renvoie vrai si la solution \ci{preuve} proposée convient pour \ci{liste}. Utilise la fonction \ci{est_plus_petit()} de l'activité 2.
+  Programme une fonction \ci{verification_preuve_de_travail(liste,preuve)} qui renvoie vrai si la solution \ci{preuve} proposée convient pour \ci{liste}. 
+   
+  \bigskip
 
-  \item \textbf{Recherche de solution (difficile).}
+\textbf{Recherche de solution (difficile).}
 
   Programme une fonction \ci{preuve_de_travail(liste)} qui cherche un bloc \ci{preuve} solution à notre problème pour la liste donnée. 
 
+  \bigskip
 
   \emph{Indications.}
 
@@ -236,51 +244,61 @@ \section*{Hachage d'une liste}
 
    \end{itemize}
 
-   \item \textbf{Temps de calcul.}
+\newpage   
+
+ \textbf{Temps de calcul.}
+   
+   \begin{itemize}
+   \item  Compare le temps de calcul d'une simple vérification par rapport au temps de recherche d'une solution. 
 
-   Compare le temps de calcul d'une simple vérification par rapport au temps de recherche d'une solution. Choisis l'objectif \ci{Max} de sorte que la recherche d'une preuve de travail nécessite environ entre 30 et 60 secondes de calculs.
+   \item Choisis l'objectif \ci{Max} de sorte que la recherche d'une preuve de travail nécessite environ entre 30 et 60 secondes de calculs.
 
-\end{enumerate}  
-
-Pour le \emph{bitcoin}, ceux qui calculent des preuves de travail sont appelés les \emph{mineurs}. Le premier qui trouve une preuve gagne une récompense. La difficulté du problème est ajustée de sorte 
+  \item Pour le \emph{bitcoin}, ceux qui calculent des preuves de travail sont appelés les \emph{mineurs}. 
+  
+  \item Le premier qui trouve une preuve gagne une récompense. 
+  
+  \item La difficulté du problème est ajustée de sorte 
 que le temps de calcul mis par le gagnant (parmi l'ensemble de tous les mineurs) pour trouver une solution, soit d'environ $10$ minutes.
 
-\end{activite}
+  \end{itemize}
 
+\newpage
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % Activité 4
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-\begin{activite}[Tes \emph{bitcoins}]
-
-\objectifs{Objectifs : créer un livre de compte (appelé \emph{blockchain} pour le \emph{bitcoin}) qui enregistre toutes les transactions, ce registre est public et certifié. Il est pratiquement impossible d'y falsifier une transaction déjà inscrite.}
-
+\section*{Tes \emph{bitcoins}}
 
 \myfigure{0.5}{
 \tikzinput{fig-bitcoin-3}
 }  
 
-\begin{enumerate}
-  \item \textbf{Initialisation et ajout d'une transaction.}
+\newpage
+
+\textbf{Initialisation et ajout d'une transaction.}
 
   \begin{enumerate}
-    \item Initialise une variable globale \ci{Livre} qui est une liste et contient au départ une preuve nulle : \ci{Livre = [ [0,0,0,0,0,0] ]} .
+    \item Variable globale \ci{Livre} initialisée à \ci{Livre = [ [0,0,0,0,0,0] ]} .
 
     \item Une \emph{transaction} est une chaîne de caractères comprenant un nom et la somme à ajouter (ou à retrancher) à son compte. Par exemple \ci{"Abel +25"} ou \ci{"Barbara -45"}.
 
-    Programme une fonction \ci{ajout_transaction(transaction)} qui ajoute la chaine de caractère \ci{transaction} à la liste \ci{Livre}. 
+    Programme une fonction \ci{ajout_transaction(transaction)} qui ajoute la chaîne de caractère \ci{transaction} à la liste \ci{Livre}. 
 Par exemple après l'initialisation \ci{ajout_transaction("Camille +100")},  
     \ci{Livre} vaut \ci{[ [0, 0, 0, 0, 0, 0], "Camille +100" ]}.
-    Attention, pour pouvoir modifier \ci{Livre} il faut commencer la fonction par : \ci{global Livre}.
 
-  \end{enumerate} 
-  
-   \item Dès qu'une transaction est ajoutée, il faut calculer et ajouter au livre de comptes une preuve de travail. Programme une fonction \ci{minage()}, sans paramètre, qui ajoute une preuve de travail au livre.   
+    
+    Attention, pour pouvoir modifier \ci{Livre} il faut commencer la fonction par : \ci{global Livre}.
+ 
+\newpage
+
+ \textbf{Calcul et ajout d'une preuve de travail.}  
+
+Dès qu'une transaction est ajoutée, il faut calculer et ajouter au livre de compte une preuve de travail. Programme une fonction \ci{minage()}, sans paramètre, qui ajoute une preuve de travail au livre.   
 
 Voici comment faire :
   \begin{itemize}
-    \item On prend la dernière transaction \ci{transaction}, on la transforme en une liste d'entiers par la fonction \ci{phrase_vers_liste()} de l'activité 2.
+    \item On prend la dernière transaction \ci{transaction}, on la transforme en une liste d'entiers par une fonction \ci{phrase_vers_liste()} (on associe à un caractère sur ordre ASCII/unicode modulo $100$).
     \item On prend la preuve de travail \ci{prec_preuve} située juste avant cette transaction.
     \item On forme la liste \ci{liste} composée d'abord des éléments de \ci{prec_preuve}, puis des éléments de la liste d'entiers obtenue en convertissant la chaîne \ci{transaction}.
     \item On calcule une preuve de travail de cette liste.
@@ -293,10 +311,22 @@ \section*{Hachage d'une liste}
      On rappelle que la preuve de travail n'est pas unique et qu'en plus elle dépend 
    de l'objectif \ci{Max}.
 
-   \item Une seule personne à la fois ajoute une preuve de travail. Par contre tout le monde a la possibilité de vérifier que la preuve proposée est correcte (et devrait le faire). 
+ \newpage
+
+ \textbf{Vérification du livre de compte.}  
+   
+Une seule personne à la fois ajoute une preuve de travail. Par contre tout le monde a la possibilité de vérifier que la preuve proposée est correcte (et devrait le faire). 
+
+
 	Écris une fonction \ci{verification_livre()}, sans paramètre, qui vérifie que la dernière preuve ajoutée au \ci{Livre} est valide.
 
-	\item Écris un livre de compte qui correspond aux données suivantes :
+	
+	\bigskip
+	
+
+\textbf{Exemple.}
+
+Écris un livre de compte qui correspond aux données suivantes :
 	\begin{itemize}
 	  \item On prend \ci{Max  = [0,0,5]} et au départ \ci{Livre = [ [0,0,0,0,0,0] ]}.
 	  \item \ci{"Alfred -100"} (Alfred doit 100 \emph{bitcoins}).
@@ -306,13 +336,6 @@ \section*{Hachage d'une liste}
 
 \end{enumerate} 
 
-Conclusion : imaginons que Alfred veuille tricher, il veut changer le livre de compte afin de recevoir 100 \emph{bitcoins} au lieu d'en devoir 100. Il doit donc changer la transaction le concernant en \ci{"Alfred +100"} mais il doit alors recalculer une nouvelle preuve de travail ce qui est compliqué, surtout il doit aussi recalculer la preuve de la transaction de Barnabé et aussi celle de la transaction de Chloé ! 
-
-Quelqu'un qui veut modifier une transaction doit modifier toutes les preuves de travail suivantes. Si chaque preuve demande suffisamment de temps de calcul ceci est impossible. Pour le \emph{bitcoin} chaque preuve demande énormément de calculs (trop pour une personne seule) et une nouvelle preuve est à calculer toutes les 10 minutes. Il est donc impossible pour une personne de modifier une transaction passée.
-
-\end{activite}
-
 
-L'autre aspect du \emph{bitcoin} que nous n'avons pas abordé, c'est de s'assurer de l'identité de chaque personne impliquée, afin que personne ne puisse récupérer l'argent d'un autre. Ceci est rendu possible grâce à la cryptographie à clé privée/clé publique (système RSA). Chaque compte est identifié par une clé publique (deux très grands entiers), ce qui garantit l'anonymat. Mais surtout, seul celui qui possède la clé privée du compte (un grand entier) peut accéder à ses \emph{bitcoins}.
 
 \end{document}

bitcoin/pres-bitcoin.tex

@@ -335,7 +335,7 @@
 
 
   \item Un crime a été commis dans le château d'Adéno. 
-Tu as récupéré deux brins d'ADN, provenant de deux positions éloignées de l'ADN du coupable. Il y a quatre suspects, dont tu as sequencé l'ADN.
+Tu as récupéré deux brins d'ADN, provenant de deux positions éloignées de l'ADN du coupable. Il y a quatre suspects, dont tu as séquencé l'ADN.
 Sauras-tu trouver qui est le coupable ?
 
 Premier code du coupable : \mot{CATA} 

chaines/chaines.pdf

@@ -29,7 +29,7 @@
 
   La façon la plus simple de savoir si une sous-chaîne est présente dans une chaîne de caractères est d'utiliser l'opérateur \og{}\ci{in}\fg{}. Par exemple, l'expression :\\
   \centerline{\ci{"PAS" in "ETRE OU NE PAS ETRE"}}
-  vaut \og{}vrai\fg{} car la sous-chaine \mot{PAS} est bien présente dans la phrase
+  vaut \og{}vrai\fg{} car la sous-chaîne \mot{PAS} est bien présente dans la phrase
   \mot{ETRE OU NE PAS ETRE}. 
 
   Déduis-en une fonction \ci{chercher_in(chaine,sous_chaine)} qui renvoie \og{}vrai\fg{} ou \og{}faux\fg{}, selon que la sous-chaîne est (ou non) présente dans la chaîne.

chaines/chaines.tex

@@ -0,0 +1,15 @@
+\documentclass[tikz,border=7pt]{standalone}
+\usetikzlibrary{svg.path}
+
+\definecolor{myred}{rgb}{0.93,0.26,0}
+\definecolor{myorange}{rgb}{0.97,0.58,0}
+\definecolor{myyellow}{rgb}{1,0.86,0}
+
+\begin{document}
+  \begin{tikzpicture}[yscale=-1,x=1pt,y=1pt]
+    \fill[color=myorange] svg{M30 70l40 0 0 40-40 0z};
+    \fill[color=myred]    svg{M30 70l0-30-30 0 0 30z};
+    \fill[color=myyellow] svg{M70 70l-40-30 30-40 40 30-30 40z};
+    \fill[color=black]    svg{M49.49 35.64l4.61 0c.55 0 .84-.13 .85-.83 0-.65-.23-.83-.85-.82l-4.61 0 0-3.26 .86 0c1.37 0 2.76 .06 4.12 .06 .62 0 1.02 0 1.02-.84l0-.15c0-.56-.12-.84-.84-.84l-6.91 0c-.63 0-.84 .19-.84 .84l0 10.46c0 .63 .19 .84 .84 .84l7.18 0c.67 0 .84-.23 .84-.84l0-.25c0-.84-.4-.84-.99-.84-.91 0-1.81 .04-2.72 .04-.44 0-2.25 .02-2.56 .03zM61.87 36.93l2.55-3.12c.18-.21 .18-.28 .18-.37 0-.38-.35-.38-.62-.39l-.76 0c-.31 0-.53 0-.77 .27-.09 .09-1.23 1.62-1.53 2.02l-1.51-1.9c-.3-.37-.49-.38-.9-.39l-.77 0c-.23 0-.61 0-.61 .39 0 .12 .05 .19 .17 .33l2.65 3.16-2.77 3.43c-.11 .12-.17 .21-.18 .36 0 .38 .38 .38 .63 .38l.76 0c.59 0 .62-.06 1-.63l1.51-2.25 1.79 2.53c.25 .35 .46 .35 .83 .35l.78 0c.24 0 .61 0 .61-.38 0-.14-.07-.21-.19-.37zM74.47 37.15c0-2.88-1.4-4.39-4.27-4.4-2.94 0-4.29 1.56-4.29 4.4 0 2.86 1.51 4.15 4.27 4.14 2.76 0 4.28-1.26 4.29-4.14zm-4.27 2.77c-1.9 0-1.9-1.58-1.9-2.99 0-1.35 0-2.92 1.88-2.91 1.9 0 1.9 1.55 1.9 2.91 0 1.39 0 2.99-1.88 2.99zM81.48 30.79c-3.94 4.34-3.94 8.76-3.93 9.66 0 .56 .12 .84 .84 .84l.81 0c.28 0 .84 0 .84-.68 .05-4.36 1.58-7.54 3.69-10.19 .14-.18 .14-.32 .14-.64 0-.38 0-.86-.74-.87-.6-.02-4.13-.02-4.99-.02l-1.11 0c-.84 0-1.19 0-1.19 .84l0 .23c0 .28 0 .61 .37 .77 .12 .07 .7 .07 1.07 .07 .4 0 .83-.02 1.23-.01z};
+  \end{tikzpicture}
+\end{document}