]> AND Private Git Repository - modelisationMathS3.git/blob - rsa.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
debut premiers
[modelisationMathS3.git] / rsa.tex
1
2 % Objectifs pédagogiques :
3 % arithmétique classique (pgcd, diviseur)
4 % algorithme RSA
5 % calculs modulo 
6 % Théorème de Bezout,  petit Fermat
7 % Nombres premiers : tests simples, avancés, disctribution
8 % Multiplications rapides:  
9 % Puissance rapides 
10 % Factorisation 
11
12 % Cryptographie RSA : comprendre et approfondir
13 % on doit discuter de la taille des nombres premier pour pouvoir coder tout mot.
14 % on doit pouvoir déduire  de l'unicité de la clé d pour une cle e
15
16 \section{Introduction}
17
18 La \emph{cryptographie}, où l'art d'écrire avec une clé, 
19 est apparue en même temps que l'écriture.
20 Dès qu'une information doit être transmise de manière sure,
21 le message doit être protégé de toute interception: il est crypté par l'émetteur
22 et décrypté par le récepteur.
23 Dans le cas où l'on utilise une clé de cryptage, on a le schéma présenté 
24 à la figure~\ref{Fig:schemageneral}.
25 \begin{figure}[ht]
26 \begin{center}
27 %\includegraphics[scale=0.5]{schemacrypto.pdf}
28 \includegraphics[scale=0.5]{schemacrypto.eps}
29 \end{center}
30 \caption{Schéma général d'une méthode de cryptage/décryptage}\label{Fig:schemageneral}
31 \end{figure}
32 Dans cette figure, rien ne précise cependant que la clé de
33 cryptage est la même que celle de décryptage.
34 Lorsqu'une méthode se fondent sur une clé unique pour chiffrer et déchiffrer
35 un message on emploie le terme de cryptographie \emph{symétrique}. 
36 Se pose immédiatement  le problème de confidentialité de la clé et la  mise 
37 en {\oe}uvre de celle-ci 
38 surtout lorsque le nombre de destinataires est grand: 
39 il faut une clé pour chacun d'entre eux.
40
41 Pour résoudre ce problème d'échange de clés, la cryptographie 
42 \emph{asymétrique} a été mise au point dans les années 1970.
43 Elle se base sur le principe d'une clé publique pour le chiffrement et 
44 d'une clé privée pour le déchiffrement.
45 Chaque destinataire (receveur)
46 diffuse sa clé publique à quiconque désire chiffrer 
47 un message. Le message crypté  ne pourra être déchiffré qu'avec la clé privée,
48 qui elle reste confidentielle.
49
50 RSA est un algorithme de cette famille. Son étude d'un point de vue mathématique
51  est l'objectif de ce TD.
52 Il s'inspire largement de~\cite{RSA09} 
53
54 % Annonce plan
55
56
57
58 \section{L'algorithme RSA}
59
60 \subsection{Les étapes détaillées de l'algorithme}
61
62 On rappelle qu'un système cryptographique à clé publique est
63 initialisé par le receveur, c.-à-d. celui qui veut recevoir des messages de
64 manière sure. 
65
66 \paragraph{Première étape: choix des deux nombres $p$ et $q$.} 
67 Le receveur choisit deux grands nombres premiers
68 $p$ et $q$ et calcule $n = pq$. Puis il calcule $\varphi(n)$, 
69 où $\varphi : \N^* \rightarrow \N^* $ est la \emph{fonction d'Euler} 
70 définie par $\varphi(n)$  est le nombre d'entiers dans $\{1, 2, \dots , n -1 \}$ 
71 qui sont premiers avec $n$.
72 \paragraph{Deuxième  étape: choix de la clé publique.} 
73 Le receveur choisit $e \in 
74 \{1, \dots , n-1\}$  premier avec $\varphi(n)$.
75 La clé publique est la paire $(e,n)$. L'expéditeur
76 va s'en servir pour crypter son message à la quatrième étape ci-dessous.
77 \paragraph{Troisième  étape: construction de la clé privée.}
78 Le receveur calcule l'entier $d \in \{1,\dots, n-1\}$
79 tel que le reste de la division de $ed$ par $\varphi(n)$ est 1. 
80 Ceci se note aussi $ed \equiv 1 [\varphi(n)]$ qui se lie $ed$ est congru 
81 à 1 modulo $\varphi(n)$.
82 La paire $(d,n)$ est la clé privée de décryptage. Elle
83 est secrète et permet au receveur de décrypter tous les messages reçus
84 et cryptés avec $(e,n)$. 
85 \paragraph{Quatrième  étape: cryptage du message.}
86 L’expéditeur peut crypter tout message écrit sous la forme 
87 d'un nombre $m$ appartenant à $\{1, \dots , n-1\}$ et qui est 
88 premier avec $n$. 
89 Le message codé est le reste $a$ de la division de $m^e$ par $n$. 
90 On a donc $m^e \equiv a [n]$, où $a \in \{1, \dots , n - 1\}$.
91 \paragraph{Cinquième  étape:  décryptage du message.} 
92 Le receveur dispose de $a$ et de sa clé privée $(d,n)$. 
93 Pour décrypter $a$, il calcule le reste dans la division par $n$
94 de $a^d$ (c.-à-d. $a^d [n]$). 
95 Si aucune erreur de calcul n'a été effectuée, c'est le message initial $m$.
96
97
98 \subsection{Sur un exemple très petit}
99 Le receveur choisit $p=7$, $q=13$.
100 \begin{enumerate}
101 \item Construire l'ensemble des entiers qui sont premiers avec $n=pq$ 
102   et en déduire que $\varphi(91)=72$.
103 \item Montrer que $(29,91)$ est un candidat acceptable de clé publique.
104 \item Trouver la clé privée associée.
105 \item Montrer que  l'expéditeur a la possibilité de crypter le message $m=59$.
106 \item Construire le message crypté $a$ à l'aide de la clé publique.
107 \item Décrypter
108  le message $a$ à l'aide de la clé privée. Il doit s'agir de $m$. 
109 \end{enumerate} 
110
111
112 \subsection{Les points clés}
113 L'algorithme RSA repose sur plusieurs points clés rencontrés successivement:
114 \begin{itemize}
115 \item la génération de deux grands nombres premiers $p$ et $q$ ;
116 \item la multiplication de grands nombres : $pq$, $ed$,   
117 \item l'arithmétique modulaire;
118 \item l'algorithme d'Euclide de génération de PGCD et son corollaire de Bézout;
119 \item la factorisation, qui tant qu'elle n'est pas réalisable sur des grands nombres, garantit la sécurité du cryptage des données.
120 \end{itemize}
121
122 \section{Rappels d'arithmétique}
123
124 Soit deux entiers $a$ et $b$ dans $\Z$.
125 On dit que $a$ divise $b$ (que l'on note $a | b$)
126 s'il existe un entier $q \in \Z$ tel que $b = aq$. 
127
128 Le plus grand diviseur commun (PGCD) de 
129 $a$ et $b$, noté $a\land b$ est l'entier naturel qui vérifie 
130 \begin{itemize}
131 \item $a \land b | a$ et $a \land  b | b$;
132 \item Si $d | a$ et $d | b$, alors $d | a\land b$.
133 \end{itemize}
134
135 \subsection{Algorithme d'Euclide de calcul de PGCD}
136
137 Par définition, le PGCD de $a$ non nul avec
138 0 est $a$ (définition raisonnable, car 0
139 est divisible par tout entier non nul, donc par $a$, qui l'est aussi par $a$) 
140 et enfin le PGCD de 0 et de 0 n'est pas
141 défini.
142
143 On se limite ici au cas de deux entiers $a$ et $b$ strictement positifs. Supposons par exemple $a>b$
144
145 \begin{enumerate}
146 \item La division euclidienne de $a$ par $b$ peut s'écrire $a=bq+r$ avec $0\infeg r<b$.
147
148 \item Montrons que \og $d$ est un diviseur commun à $a$ et $b$ \fg{}
149   est équivalent à  \og $d$ est un diviseur commun à $b$ et $r$ \fg{}.
150 \begin{itemize}
151 \item  Soit $d$ un diviseur commun à $a$ et $b$, qui peuvent alors s'écrire $a=da'$ et $b=db'$. L'égalité $a=bq+r$ devient $da'=db'q+r$ ou encore $r=d(a'-b'q)$, donc $d$ est aussi un diviseur commun à $b$ et $r$.
152
153 \item Réciproquement, soit $d$ un diviseur commun à $b$ et $r$, qui peuvent alors s'écrire $b=db'$ et $r=dr'$ et l'égalité $a=bq+r$ devient $a=d(b'q+r')$.
154 Donc $d$ est un diviseur commun à $a$ et $b$.
155 \end{itemize}
156
157 Ainsi, les ensembles des diviseurs communs à $a$ et $b$ 
158 d'une part et à $b$ et $r$ d'autre part sont identiques.
159 En particulier $a\et b=b\et r$.
160
161 \item Si $r=0$ on a $a\et b= b\et 0$ qui est égal à $b$.
162
163 \item Sinon,  $r$ est différent de $0$ et on peut donc effectuer la
164   division euclidienne de $b$ par $r$, qui donne un reste $r_{1}$, 
165   tel que $0 \le r_{1}<r$ et $b\et r=r\et r_{1}$.
166
167 \item Cet algorithme est itéré jusqu'à l'obtention d'un reste nul, ce qui se produit obligatoirement puisqu'il s'agit d'entiers et que la suite des restes ainsi construite est strictement décroissante.
168   Le PGCD est alors l'avant-dernier reste (le dernier non nul).
169 \end{enumerate}
170
171 \begin{Exo}
172 Déterminer $154 \land 35$ par l'algorithme d'Euclide.
173 \end{Exo}
174
175
176 \begin{Exo}
177 Donner le code d'un programme qui prend en entrée deux entiers naturels $a$ 
178 et $b$ tels que $a>b \ge 0$ et qui retourne leur PGCD 
179 \end{Exo}
180
181 \subsection{Les incontournables Bézout et Gau{\ss}}
182
183 \begin{Prop}[Identite   de Bézout]
184 On considère deux nombres entiers strictement positifs $a$ et $b$. 
185 Il existe un couple d'entiers $x$ et $y$ tels que $ax+by=d$, 
186 où $d$ est le PGCD de $a$ et de $b$. 
187 \end{Prop}
188
189 \begin{Proof}
190 Dans la preuve de la proposition précédente, on avait successivement
191
192 \begin{eqnarray}
193 a &=& b \times q_1 +r_1 \label{eq:def:r1} \\
194 b &=& r_1 \times q_2 +r_2 \nonumber \\
195 r_1 &=& r_2 \times q_3 +r_3 \nonumber\\
196 & \vdots & \nonumber\\
197 r_{n-4} & = & r_{n-3} \times q_{n-2} + r_{n-2} \label{eq:def:rnm4} \\
198 r_{n-3} & = & r_{n-2} \times q_{n-1} + r_{n-1} \label{eq:def:rnm3} \\
199 r_{n-2} & = & r_{n-1} \times q_{n} + r_{n} \label{eq:def:rnm2}\\
200 r_{n-1} & = & r_{n} \times q_{n+1} + 0 \nonumber 
201 \end{eqnarray}
202
203
204 On sait que $a\land b$ est $r_n$ le dernier reste non nul.
205 On remonte les équations une à une en démarrant de (\ref{eq:def:rnm2}).
206 \begin{eqnarray}
207 r_{n}  & = & r_{n-2} - r_{n-1} \times q_{n}  \nonumber \\
208   & = & r_{n-2} - (r_{n-3} - r_{n-2} \times q_{n-1}) \times q_{n} (\textrm{on remplace $r_{n-1}$ par sa def dans (\ref{eq:def:rnm3})}) \nonumber\\
209   & = & r_{n-2}. (1 + q_{n-1}. q_{n}) - r_{n-3}. q_{n} (\textrm{factorisation})\nonumber \\
210    & = & (r_{n-4} - r_{n-3} \times q_{n-2}). (1 + q_{n-1}. q_{n}) - r_{n-3}. q_{n}(\textrm{on remplace $r_{n-2}$ par sa def dans (\ref{eq:def:rnm4})}) \nonumber \\
211 & \vdots & \nonumber \\
212 & = & \ldots (\textrm{on remplace $r_{1}$ par sa def dans (\ref{eq:def:r1})}) \nonumber\\ 
213 & = &ax + by \nonumber
214 \end{eqnarray}
215 \end{Proof}
216
217
218
219 \begin{Def}[Nombres premiers entre eux]
220 Les deux entiers relatifs $a$ et $b$ sont premiers entre eux si 
221 leur plus grand commun diviseur est égal à 1.
222 \end{Def}
223
224
225
226 \begin{Prop}[Théorème de Bézout]
227 Deux entiers strictement positifs 
228 $a$ et $b$ sont premiers entre eux, si et seulement s'il
229 existe un couple $(x,y)$ d'entiers relatifs vérifiant $ax + by = 1$.
230 \end{Prop}
231 \begin{Proof}
232 \begin{itemize}
233 \item[\textbf{Seulement si.}] Supposons $a$ et $b$ premiers entre eux. 
234 D'après l'identité de Bézout, 
235 il existe donc un couple d'entiers $x$ et $y$ tels que $ax+by=1$, 
236 car 1 est le PGCD de $a$ et de $b$. 
237 \item[\textbf{Si.}] 
238   Supposons qu'il existe un couple $(x,y)$ 
239   d'entiers relatifs vérifiant $ax + by = 1$ et $d = a \land b$.
240   L'entier $d$ divise les produits $ax$ et $by$. Donc $d$ divise 
241   $ax + by$ et donc $d$ est 1.   
242 \end{itemize}
243 \end{Proof}
244
245 \begin{Prop}[Théorème de Gau{\ss}]
246 Soient $a$, $b$ et $c$ trois entiers naturels. 
247 Si $a$ divise le produit $bc$ 
248 et s'il est premier avec $b$, alors il divise $c$.
249 \end{Prop}
250
251 \begin{Exo}
252 Faire la preuve de ce théorème
253 \end{Exo}
254
255 \begin{Prop}[Fonction d'Euler]
256 Si $p$ et $q$ sont deux nombres premiers distincts alors l'égalité
257 suivante permet de trouver le valeur de la fonction d'Euler en un seul 
258 produit:
259 \begin{equation}
260 \varphi(pq)=(p-1)(q-1) \label{FEuler}
261 \end{equation} 
262
263 \end{Prop}
264 \begin{Exo}[Preuve de l'expression d'Euler]
265 On doit compter le cardinal des nombres de $\{1, 2, . . . , pq -1\}$ qui sont 
266 premiers avec $pq$.
267 \begin{enumerate}
268 \item Construire l'ensemble $P$ des entiers naturels multiples de $p$ inférieurs à $pq -1$. Combien en a-t-on?
269 \item Construire l'ensemble $Q$ des entiers naturels multiples de $q$ inférieurs à $pq -1$. Combien en a-t-on?
270 \item Supposons qu'un élément $k$ appartienne à la fois à $P$ et à $Q$.
271   Montrer que cela implique qu'il existe deux entiers naturels 
272   $m_1$ et $m_2$ tels que $m_1.p = m_2.q$.
273 \item En utilisant le théorème de Gau{\ss}, montrer que cela est absurde.
274 \item En déduire l'équation (\ref{FEuler}).
275 \end{enumerate}
276 \end{Exo}
277
278
279
280
281 %Refaire cet exo avec 27x +8y = 1
282 \begin{Exo}
283 L'objectif est de résoudre l'équation $(E)$ $405x -120y =15$ 
284 d'inconnues $x$ et $y$.
285 \begin{enumerate}
286 \item Trouver le PGCD de 405 et 120  à l'aide de l'algorithme d'Euclide.
287 \item En déduire une solution particulière de cette équation.
288 \item En utilisant la solution particulière, montrer que $(E)$ est 
289   équivalente à $27(x-3) = 8(y-10)$.
290 \item Utiliser le théorème de Gau{\ss} pour montrer que 
291   l'ensemble des solutions de $(E)$ est $\{(8k+3;27k+10)| k \in \Z\}$. 
292 \end{enumerate}
293 \end{Exo}
294
295
296
297
298 \begin{Exo}[Sujet du bac S Liban 2005]
299 On rappelle le résultat suivant appelé petit théorème de Fermat.
300
301 \emph{Si $p$ est un nombre premier et $a$ un entier non divisible par $p$,
302  alors $a^{p-1}-1$ est un multiple de $p$.}
303 \begin{enumerate}
304 \item  On considère l’équation $(E)$ : $109x-226y=1$ où $x$ et $y$
305   sont des entiers relatifs.
306 \begin{enumerate}
307 \item  Déterminer $109\land 226$. 
308   Que peut-on en conclure pour l'équation $(E)$? 
309 \item  Montrer que l'ensemble des solutions de $(E)$  
310   est l'ensemble des couples de la forme 
311   $(141+226k ;68+109k)$, où $k$ appartient à $\Z$.
312   En déduire qu'il existe un unique entier naturel non nul $d$ 
313   inférieur ou égal à 226 et un unique entier naturel non nul $e$ tels que
314   $109d =1+226 e$ (on précisera les valeurs des entiers $d$ et $e$).
315 \end{enumerate}
316 \item Démontrer que 227 est un nombre premier.
317 \item  On note $A=\{0,1,2,\dots,226\}$. On considère les deux fonctions 
318   $f$ et $g$ de $A$ dans $A$ définies de la manière suivante: 
319 \begin{itemize}
320 \item  A tout entier $a\in A$, $f$ associe le reste de
321   la division euclidienne de $a^{109}$ par 227.
322 \item A tout entier $a\in A$, $g$ associe le reste de la
323   division euclidienne de $a^{141}$ par 227.
324 \end{itemize}
325 \begin{enumerate}
326 \item Vérifier que $g(f(0))=0$ .
327 \item Montrer que, quel que soit l'entier non nul $a$ de $A$ , $a^{226}-1$ est multiple de 227.
328 \item En déduire que, quel que soit l'entier non nul $a$ de $A$, 
329 $g(f(a))=a$ . Que peut-on dire de $f(g(a))=a$?
330 \end{enumerate}
331 \end{enumerate}
332 \end{Exo}
333
334
335
336 \section{Arithmétique modulaire}
337
338 \begin{Def}[Congruence modulo]
339 Soit $a$ et $b$ deux entiers relatifs.
340 On dit que $a$ est congru $b$ modulo $n$ si $n$ divise $a-b$, c'est-à-dire
341 s'il existe $x \in \Z$ tel que $(a-b) = nx$.
342 On note    $a \equiv b [n]$. 
343 La relation \og $\equiv [n]$ \fg{}
344 est une relation d'équivalence appelée congruence modulo $n$.
345 \end{Def}
346
347 \begin{Prop}
348 Soit $a$, $b$, $c$, $d$, $x$ et $y$ dans $\Z$. 
349 Si $a \equiv c[n]$ et  $b \equiv d[n]$, alors
350 \begin{enumerate}
351 \item $a +b \equiv c + d [n]$;
352 \item $ab \equiv cd [n]$;
353 \item $ax +by \equiv cx +dy [n]$.
354 \end{enumerate}
355 \end{Prop}
356
357 \begin{Exo}
358 Démontrer la proposition précédente.
359 \end{Exo}
360
361 \begin{Prop}
362 Soit deux entiers naturels $a$ et $n$ tels que $a< n$.
363 Si $a$ et $n$ sont premier entre eux, 
364 alors il existe un unique $x \in \{1, \dots, n-1\}$ tel 
365 que $ax \equiv 1[n]$.
366 \end{Prop}
367
368 \begin{Proof}
369 \begin{itemize}
370 \item[\textbf{Existence.}]
371 Comme $a$ et $n$ sont premiers entre eux, d'après le théorème de Bézout,
372 il exite $x$ et $y$ entiers tels que 
373 \end{itemize} 
374 \end{Proof}
375
376
377 \begin{Exo}
378 \begin{enumerate}
379 \item Démonter que $35 \equiv 1 [11]$
380 \item En déduire que pour tous entiers naturels $k$ et $r$ on a 
381                                         $35k +r \equiv 3r [11]$.
382 \item  $n$ étant un entier naturel, quels sont les restes possibles
383   dans la division de $3^n$ par 11?
384 \item  Trouvez pour quelles valeurs de $n$, $3n + 7$ est divisible par 11
385 \end{enumerate}
386 \end{Exo}
387
388 \begin{Exo}
389 On se place dans le contexte de cryptographie par RSA.
390 Démontrer que si la clé d'encryptage est $e < \varphi(n)$, alors 
391 il existe une unique clé de décodage entre 1 et $\varphi(n)$.
392 \end{Exo}
393
394 \begin{Prop}[Théorème d'Euler]
395   Si $m<n$ est  relativement premier avec $n$, alors 
396 \begin{equation}
397 m^{\varphi(n)}\equiv1 [n].
398 \end{equation}
399 \end{Prop}
400 On laisse de côté la démonstration.
401
402 \begin{Prop}[Correction de RSA]
403 Le cryptage-décryptage du code RSA est correct: 
404 on crypte un message $m$ tel que 
405 $m\land n= 1$ en $a$ avec  
406 $ m^e  \equiv a [n]$ selon la clé $(e,n)$.
407 Alors le décryptage selon la clé $(d,n)$ redonne
408 le message initial : $a^d \equiv m [n]$.
409 \end{Prop} 
410 \begin{Proof}
411 \begin{eqnarray*}
412 a^d & \equiv &   (m^e)^d [n]\\
413 & \equiv &   m^{ed} [n] (\textrm{ réécriture})\\
414 & \equiv &   m^{k.\varphi(n)+1} [n] (\textrm{ définition de $d$})\\
415 & \equiv &   m^{k.\varphi(n)}m [n] (\textrm{ réécriture})\\
416 & \equiv &   (m^{\varphi(n)})^km [n] (\textrm{ réécriture})\\
417 & \equiv &   (1)^km [n] (\textrm{ théorème d'Euler})\\
418 & \equiv &   m [n] (\textrm{ réécriture})\\
419 \end{eqnarray*}
420 \end{Proof}
421
422 \subsection{Puissance de grands nombres}
423
424
425 \begin{Exo}
426 Montrer que l'entier naturel $n$ est premier si et seulement si 
427 $$(x +1) ^n \equiv x ^n +1[n].$$
428 \end{Exo}
429
430
431 \section{Génération de grands nombres premiers}
432 Depuis Euclide, on sait qu'il y a une infinité de nombres premiers.
433 Fermat avait cru donner une formule ne générant que des nombres premiers.
434 Il affirmait que pour tout $n \in \N$, le nombre 
435 \begin{eqnarray}
436 F_n &= & 2^{2^n} +1 
437 \end{eqnarray}
438 était premier. Or 641 divise $F_5$. Aujourd'hui, on pense que seuls 
439 les nombres de $F_0$ à $F_4$ sont premiers, les qutres étant composés.
440
441 \subsection{Distribution des nombres premier parmi les entiers}
442
443 Même si on ne connaît pas de formule permettant de construire tous les 
444 nombres premiers, tout n'est pas perdu puisque les nombres premiers 
445 ne sont pas si rares que cela. Le théorème suivant donne même la distribution 
446 la proportion approximative des entiers inférieurs ou égaux à
447 $N$  qui sont premiers.
448 \begin{Prop}[Théorème des nombres premiers]
449 La fonction $\pi:\N \rightarrow \N$  associe 
450 à chaque nombre $n$ nombre d'entiers inférieurs ou égaux à $n$ qui sont 
451 premiers, soit $\pi(N) = |\{p \le N | p \textrm{premier}\}|$.
452 Lorsque $n$ est grand, on a:
453 \begin{eqnarray}
454 \pi(N) &\approx& \dfrac{N}{\ln(N)}
455 \end{eqnarray}
456 \end{Prop}
457 La preuve de ce théorème est d'un niveau très avancé et n'est pas reproduite 
458 ici.
459
460 Pour obtenir un  entier de 100 chiffres, il suffit de considérer 
461 $N= 10^{100}$. Si on choisit au hasard un nombre $n$ dans $\N_{N}^{*}$,
462 la probabilité qu'il soit premier est: 
463 \begin{eqnarray*}
464 \textrm{Prob}(n \textrm{ premier}) &\approx&
465  \dfrac{\dfrac{N}{\ln(N)}}{N} \\
466  &\approx&
467  \dfrac{1}{\ln(N)}
468 \end{eqnarray*}
469 Le tableau~\ref{Table:propPrem} donne une valeur approchée de 
470 cette probabilité pour quelques nombres de chiffres. 
471 Dans celui-ci:
472 \begin{itemize}
473 \item la seconde ligne n'impose aucune restriction sur le dernier chiffre;
474 \item la troisième ligne impose que le dernier chiffre soit dans 
475   $\{1,3,5,7,9\}$: il est  inutile de vérifier que les
476   multiples de 2 sont premiers!
477 \item la quatrième ligne impose que le dernier chiffre soit dans $\{1,3,7,9\}$:
478   les multiples de 5 ne sont pas premiers!
479 \end{itemize}
480 On constate que si l'on tire au hasard un nombre (même de 100 chiffres), 
481 et que ce nombre se termine par$\{1,3,7,9\}$, 
482 la probabilité qu'il soit premier n'est pas infime. La solution au problème 
483 de génération de nombres premiers repose sur la capacité ou non a disposer 
484 d'un test efficace de primalité pour des grands nombres.
485
486 Pour peut qu'on dispose d'un test de primalité rapide,
487  
488
489 il \og suffit \fg{}
490 de tirer quelques nombres au hasard pour avoir  
491
492 %% Attention ce tableau est généré par ailleurs 
493 \begin{table}[ht]
494 \begin{center}
495 \begin{tabular}{|l|l|l|l|l|l|l|l|l|l|l|}
496  \hline 
497 Nombre de chiffres & \textbf{75}& \textbf{100}& \textbf{125}& \textbf{150}& \textbf{175}& \textbf{200}& \textbf{225}& \textbf{250}& \textbf{275}& \textbf{300}\\
498 \hline 
499 Dernier chiffre quelconque & 172& 230& 287& 345& 402& 460& 518& 575& 633& 690\\
500 \hline 
501 Dernier chiffre impair & 86& 115& 143& 172& 201& 230& 259& 287& 316& 345\\
502 \hline 
503 Dernier chiffre dans $\{1,3,7,9\}$& 69& 92& 115& 138& 161& 184& 207& 230& 253& 276\\
504 \hline
505  \end{tabular}
506 \end{center}
507 \caption{Probabilités inverse d'obtenir un \label{Table:propPrem}}
508 \end{table}
509
510 \subsection{Tests de primalité}
511
512
513
514 \section{Factorisation}
515
516
517 \section{Conclusion}
518 cf SMATH paragraphe applications p 223.