This file is indexed.

/usr/share/doc/HOWTO/fr-html/Diskless.html is in doc-linux-fr-html 2013.01-2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<html>
<head>
<meta name="generator" content=
"HTML Tidy for Linux/x86 (vers 25 March 2009), see www.w3.org">
<meta name="GENERATOR" content="LinuxDoc-Tools 0.9.69">
<title>Mini Howto Linux pour syst&egrave;mes sans lecteur de
disque(ttes)</title>
</head>
<body>
<h1>Mini Howto Linux pour syst&egrave;mes sans lecteur de
disque(ttes)</h1>
<h2>par Robert Nemkin <code>buci@math.klte.hu</code><br>
Traducteur: <a href="http://www.lifl.fr/~blondeel">S&eacute;bastien
Blondeel</a> ( <a href=
"mailto:sebastien.blondeel@lifl.fr">sebastien.blondeel@lifl.fr</a>)<br>
</h2>
v0.0.3 12 Sep 1996
<hr>
<em>Ce document d&eacute;crit la mani&egrave;re de configurer un
syst&egrave;me sous Linux sans disque dur ni lecteur de disquettes.
Ses droits appartiennent &agrave; Robert Nemkin, et il est
plac&eacute; sous les termes de la Publique G&eacute;n&eacute;rale
GNU. L'auteur remercie Bela Kis &lt;bkis@cartan.math.klte.hu&gt;
pour avoir traduit ce document en anglais. S&eacute;bastien
Blondeel, &lt;Sebastien.Blondeel@lifl.fr&gt; a traduit ce document
en fran&ccedil;ais.</em>
<hr>
<h2><a name="s1">1. Modifications</a></h2>
<ul>
<li>v0.0.3 12 Sep 1996: Quelques erreurs mineures ont
&eacute;t&eacute; corrig&eacute;es</li>
</ul>
<h2><a name="s2">2. Comment configurer un syst&egrave;me sous Linux
sans lecteur de disque(ttes)</a></h2>
<p>Ce document d&eacute;crit la mani&egrave;re de configurer un
syst&egrave;me sous Linux sans disque dur ni lecteur de disquette.
Il peut parfois s'av&eacute;rer n&eacute;cessaire de faire tourner
Linux sur des ordinateurs personnels ("PC") qui ne poss&egrave;dent
ni disque dur ni lecteur de disquettes. Si on dispose d'un
r&eacute;seau, d'un autre syst&egrave;me sous Unix avec bootp et
tftp, d'un serveur NFS et d'un br&ucirc;leur d'EPROM, alors il est
possible de configurer et de faire tourner un syst&egrave;me sous
Linux sans disque dur ni disquette.</p>
<h2><a name="s3">3. Consulter &eacute;galement les documents
suivants:</a></h2>
<ul>
<li>NFS-root Mini Howto</li>
<li>Linux NET-2/3-HOWTO par Terry Dawson,
<code>94004531@postoffice.csu.edu.au</code></li>
<li><code>/usr/src/linux/README</code> pour la configuration et la
compilation de nouveaux noyaux</li>
</ul>
<h2><a name="s4">4. Mat&eacute;riel</a></h2>
<p>Tout ce qui est d&eacute;crit ici a &eacute;t&eacute;
test&eacute; avec la configuration suivante:</p>
<ul>
<li>Sun-OS 4.1.3 comme serveur d'amor&ccedil;age</li>
<li>Slackware 2.3 + Linux 1.2.8 + la carte ethernet wd 8013</li>
<li>Un r&eacute;seau ethernet en &eacute;tat de fonctionnement</li>
</ul>
<h2><a name="s5">5. Id&eacute;es fondamentales</a></h2>
<p>L'id&eacute;e de base est la suivante: le PC va obtenir son
adresse IP du serveur d'amor&ccedil;age par le protocole bootp, en
utilisant 0.0.0.0 comme adresse IP initiale et en obtenant son
noyau par le protocole tftp.</p>
<blockquote>Un amor&ccedil;age &agrave; travers des segments (via
un routeur) n'est pas un probl&egrave;me simple, aussi faut-il
mettre &agrave; la fois le serveur et la machine sans disque sur le
m&ecirc;me segment de r&eacute;seau, ou configurer une adresse UDP
d'aide dans votre routeur pointant vers l'adresse du serveur.
R&eacute;f&eacute;rez-vous au manuel de votre routeur pour de plus
amples informations sur le sujet.</blockquote>
<p>Pour cela, suivez les &eacute;tapes ci-dessous.</p>
<h2><a name="ss5.1">5.1 Configurer le PC</a></h2>
<p>Obtenez le paquetage nfsboot (ce paquetage est disponible sur
votre site miroir de Linux pr&eacute;f&eacute;r&eacute; dans le
r&eacute;pertoire <code>/pub/Linux/system/Linux-boot</code>). Il
contient une image d'amor&ccedil;age pour l'EPROM de la carte
wd8013 qui peut &ecirc;tre br&ucirc;l&eacute;e telle quelle.</p>
<p>Il y a d'autres mani&egrave;res de pr&eacute;parer le PC:</p>
<ul>
<li>si votre machine contient un petit disque ou un lecteur de
disquette, vous pouvez utiliser le petit programme sous DOS,
ou</li>
<li>l'image binaire pour disquette qui se trouve dans le m&ecirc;me
paquetage.</li>
</ul>
Si vous choisissez la deuxi&egrave;me option, il faut utiliser la
commande dd pour &eacute;crire l'image sur la disquette.
<p>Ces images contiennent un client bootp et un client tftp. Vous
devez &eacute;galement pr&eacute;parer un noyau pour linux,
comportant l'option NFS-root (amor&ccedil;age par NFS).</p>
<ul>
<li>Si vous utilisez le dernier noyau stable, linux-1.2.13, alors
il faut corriger le noyau avec le fichier de correction contenu
dans le paquetage nfsboot
<blockquote>Consulter patch(1)</blockquote>
</li>
<li>Si vous utilisez le dernier noyau en date, instable, de la
s&eacute;rie linux-1.3.x, il vous faut configurer l'option
NFS-root.</li>
</ul>
Vous pouvez ou non choisir de configurer le support pour
p&eacute;riph&eacute;rique en mode bloc (disque dur ou disquette),
mais vous devez configurer le support pour tcp/ip, pour la carte
ethernet wd, et pour le syst&egrave;me de fichiers NFS. Puis
recompilez le noyau de mani&egrave;re habituelle.
<h2><a name="ss5.2">5.2 Configurer un bootpd sur le
serveur</a></h2>
<p>On peut le trouver dans le paquetage
<code>bootpd-2.4.tar.gz</code> (qui se trouve sur votre site miroir
de Linux pr&eacute;f&eacute;r&eacute; dans le r&eacute;pertoire
<code>/pub/Linux/system/Network/boot.net</code>). Chargez le
paquetage, compilez-le et installez-le. Si votre autre
syst&egrave;me sous Linux se trouve &ecirc;tre une distribution
Slackware, vous pouvez passer &agrave; l'&eacute;tape suivante
puisque les distributions standard comportent un bootpd. On peut
d&eacute;marrer le d&eacute;mon, soit en tapant la commande</p>
<blockquote>
<hr>
<pre>
<code>        bootpd -s
</code>
</pre>
<hr></blockquote>
soit en utilisant inetd. Dans ce dernier cas, il vous faut
&eacute;diter:
<ul>
<li>/etc/inetd.conf pour &ocirc;ter le signe di&egrave;se de mise
en commentaire au d&eacute;but des lignes suivantes:
<blockquote>
<hr>
<pre>
<code># tftp   dgram   udp     wait    root    /usr/sbin/in.tftpd     tftpd /export
# bootps dgram   udp     wait    root    /usr/sbin/in.bootpd    bootpd
</code>
</pre>
<hr></blockquote>
</li>
<li>ins&eacute;rer ou &ocirc;tez le signe de commentaire pour les
deux lignes suivantes dans /etc/services:
<blockquote>
<hr>
<pre>
<code>bootps          67/tcp          # serveur BOOTP
tftp            69/udp          # serveur TFTP
</code>
</pre>
<hr></blockquote>
</li>
<li>red&eacute;marrez inetd en tapant
<blockquote>
<hr>
<pre>
<code>        kill -HUP &lt;num&eacute;ro d'identification du processus de inetd&gt;.
</code>
</pre>
<hr></blockquote>
</li>
</ul>
<h2><a name="ss5.3">5.3 Configurer le bootpd sur le
serveur.</a></h2>
<p>Tout d'abord, bootpd poss&egrave;de un fichier de configuration
qui s'appelle bootptab et qui se trouve habituellement dans /etc.
Vous devez le modifier en indiquant les adresses IP de votre
passerelle, de votre serveur dns, et les adresses ethernet de votre
ou vos machines sans disques. Voici un fichier /etc/bootptab
d'exemple:</p>
<blockquote>
<hr>
<pre>
<code>
global.prof:\
:sm=255.255.255.0:\
:ds=192.168.1.5:\
:gw=192.168.1.19:\
:ht=ethernet:\
:bf=linux:
machine1:hd=/export/root/machine1:tc=global.prof:ha=0000c0863d7a:ip=192.168.1.140:
machine2:hd=/export/root/machine2:tc=global.prof:ha=0800110244e1:ip=192.168.1.141:
machine3:hd=/export/root/machine3:tc=global.prof:ha=0800110244de:ip=192.168.1.142:
</code>
</pre>
<hr></blockquote>
<p>global.prof est un patron g&eacute;n&eacute;ral pour les
entr&eacute;es d'h&ocirc;tes, o&ugrave;</p>
<ul>
<li>le champ sm contient le masque pour le sous-r&eacute;seau</li>
<li>le champ ds contient l'adresse du serveur de nom de domaine
(DNS)</li>
<li>le champ gw contient l'adresse de la passerelle par
d&eacute;faut</li>
<li>le champ ht contient le type de carte r&eacute;seau</li>
<li>le champ bf contient le nom du fichier d'amor&ccedil;age</li>
</ul>
<p>Apr&egrave;s cela, chaque machine doit poss&eacute;der sa propre
entr&eacute;e sur une ligne:</p>
<ul>
<li>le premier champ contient le nom de l'h&ocirc;te</li>
<li>le champ hd contient le r&eacute;pertoire du fichier
d'amor&ccedil;age</li>
<li>on peut inclure le patron global avec le champ tc</li>
<li>le champ ha contient l'adresse mat&eacute;rielle de la carte
ethernet</li>
<li>le champ ip contient l'adresse IP qui a &eacute;t&eacute;
attribu&eacute;e</li>
</ul>
<h2><a name="ss5.4">5.4 Comprendre tftp</a></h2>
<p>TFTP (<code>Trivial File Transfer Protocol</code>, ou protocole
de transfert de fichiers banal) est un protocole de transfert de
fichiers, comme ftp, mais il est beaucoup plus facile &agrave;
programmer dans des m&eacute;moires de type EPROM. On peut utiliser
TFTP de deux mani&egrave;res:</p>
<ul>
<li>tftp simple: cela signifie que le client peut acc&eacute;der
&agrave; la totalit&eacute; de votre syst&egrave;me de fichiers.
C'est plus simple, mais cela constitue un gros trou de
s&eacute;curit&eacute; (n'importe qui peut obtenir votre fichier de
mots de passe par tftp).</li>
<li>tftp s&eacute;curis&eacute;: le serveur tftp utilise un appel
syst&egrave;me chroot.2 pour modifier son propre r&eacute;pertoire
racine. Tout ce qui n'est pas dans cette racine sera absolument
inaccessible. Comme le r&eacute;pertoire chroot devient le nouveau
r&eacute;pertoire racine, le champ hd list&eacute; dans le fichier
bootptab doit prendre cette situation en compte. Par exemple:
lorsqu'on utilise tftp non s&eacute;curis&eacute;, le champ hd
contient le chemin complet menant au r&eacute;pertoire
d'amor&ccedil;age: <code>/export/root/machine1</code>. Lorsqu'on
utilise tftp s&eacute;curis&eacute; avec /export comme
r&eacute;pertoire racine, alors /export devient / et le champ hd
doit &ecirc;tre <code>/root/machine1</code>.</li>
</ul>
Comme pratiquement toute installation Unix comporte un serveur
tftp, vous n'aurez probablement pas besoin d'installer la votre.
<h2><a name="ss5.5">5.5 Configurer un Linux minimal sur le serveur
distant.</a></h2>
<p>Il vous faut pour cela, par exemple, les paquetages a, ap, n et
x de la distribution Slackware. Il est possible d'installer plus de
choses; ce pendant les paquetages ci-dessus suffiront &agrave;
l'installation d'un terminal X sans disque. Pour l'installation, il
vous faut un syst&egrave;me sous Linux en &eacute;tat de marche.
Trouvez un peu d'espace disque sur la machine distante et
exportez-le en lecture et en &eacute;criture. Montez le
r&eacute;pertoire export&eacute; quelque part (par exemple sur
/mnt) sur le syst&egrave;me de fichiers du syst&egrave;me sous
Linux. D&eacute;marrez Linux et modifiez l'option de racine dans la
configuration; remplacez / par /mnt. Puis configurez les paquetages
ci-dessus de mani&egrave;re habituelle. Si vous ne souhaitez faire
tourner qu'un seul Linux sans disque, il ne vous faut rien modifier
d'autre. D'un autre c&ocirc;t&eacute;, si vous pensez utiliser plus
d'une machine sans disque, la configuration d&eacute;crite
ci-dessus ne fonctionnera pas parce que certains fichiers et
r&eacute;pertoires doivent &ecirc;tre priv&eacute;s pour chaque
machine. On peut contourner ce probl&egrave;me on
d&eacute;pla&ccedil;ant le r&eacute;pertoire /usr (il ne contient
aucune donn&eacute;e personnelle) et ensuite de cr&eacute;er un
sous-r&eacute;pertoire pour chaque machine sans disque. Par
exemple, si /export/linux/machine1 est mont&eacute; sur /mnt alors
la structure des r&eacute;pertoires apr&egrave;s la configuration
initiale ressemblera &agrave;:</p>
<blockquote>
<hr>
<pre>
<code>/export/linux/machine1/bin
/export/linux/machine1/sbin
/export/linux/machine1/lib
/export/linux/machine1/etc
/export/linux/machine1/var
/export/linux/machine1/usr
</code>
</pre>
<hr></blockquote>
<p>Apr&egrave;s les modifications vous obtiendrez</p>
<blockquote>
<hr>
<pre>
<code>/export/linux/machine1/bin
/export/linux/machine1/sbin
/export/linux/machine1/lib
/export/linux/machine1/etc
/export/linux/machine1/var
/export/linux/usr
</code>
</pre>
<hr></blockquote>
<p>Maintenant cr&eacute;ez les sous-r&eacute;pertoires pour les
autres machines. Supposons pour l'instant que vos machines sans
disque s'appellent machine1, machine2, machine3, etc.; vous pouvez
alors utiliser le script bash qui suit pour configurer les autres
r&eacute;pertoires:</p>
<blockquote>
<hr>
<pre>
<code>        
        cd /export/linux
        for x in machine2 machine3; do
                mkdir $x; cd $x
                (cd ../machine1; tar cf - *) | tar xvf -
        done
</code>
</pre>
<hr></blockquote>
<p>Puis exportez les r&eacute;pertoires qui suivent:</p>
<ul>
<li>/export/linux/usr en lecture seule pour tout le monde.</li>
<li>/export/linux/machine1 uniquement sur machine1, en
lecture/&eacute;criture et avec les droits de root.</li>
<li>/export/linux/machine2 idem, sur machine2.</li>
<li>/export/linux/machine3 idem, sur machine3.</li>
</ul>
comme suit
<blockquote>le format de cet exemple est conforme &agrave; la
syntaxe des exportations de fichiers pour SunOS 4.1.3</blockquote>
:
<blockquote>
<hr>
<pre>
<code>        
# Ce fichier est /etc/export
# pour des terminaux sous le syst&egrave;me Linux distants
# &Eacute;crit par Buci
# N'&eacute;crivez cette ligne qu'une fois
/export/root/usr             -access=linuxnet
# N'&eacute;crivez ces lignes qu'une fois pour chaque h&ocirc;te
/export/root/machine1       rw=machine1,root=machine1
/export/root/machine2       rw=machine2,root=machine2
/export/root/machine3       rw=machine3,root=machine3
</code>
</pre>
<hr></blockquote>
N'oubliez pas de lancer exportfs -a.
<h2><a name="ss5.6">5.6 Configurer le serveur tftp</a></h2>
<p>C'est maintenant le moment de configurer le serveur tftp. Si
vous n'avez pas besoin de tftp s&eacute;curis&eacute; alors tout
est tr&egrave;s simple puisque vos clients peuvent &ecirc;tre
amorc&eacute;s depuis le r&eacute;pertoire /export.</p>
<p>Si vous utilisez un tftp s&eacute;curis&eacute; vous pouvez soit
mettre en place une structure de r&eacute;pertoire /export/linux
compl&egrave;te sous /tftpboot (en n'utilisant qu'un seul
v&eacute;ritable noyau et des liens symboliques pour les autres
machines), ou laisser le r&eacute;pertoire /export jouer le
r&ocirc;le du r&eacute;pertoire d'amor&ccedil;age pour le tftpd
s&eacute;curis&eacute;. Ou encore, si vous disposez d'un
r&eacute;pertoire tftpboot s&eacute;par&eacute;, de fa&ccedil;on
similaire, vous n'aurez besoin que d'un seul noyau dans la
structure de r&eacute;pertoires d'origine, et de liens pour les
autres. Vous pouvez obtenir ce r&eacute;sultat en tapant ce qui
suit:</p>
<blockquote>
<hr>
<pre>
<code>      mkdir -p /tftpboot/export/linux/machine1
      cd /tftpboot/export/linux/machine1
      cp /export/linux/machine1/&lt;nom du noyau&gt;.
</code>
</pre>
<hr></blockquote>
<p>Puis tapez ce qui suit:</p>
<blockquote>
<hr>
<pre>
<code>      mkdir -p /tftpboot/export/linux/machine2
      cd ../machine2 
      ln -s ../machine2/&lt;nom du noyau&gt;
</code>
</pre>
<hr></blockquote>
<h2><a name="ss5.7">5.7 Derniers r&eacute;glages</a></h2>
<p>Enfin, il vous faut ins&eacute;rer</p>
<blockquote>
<hr>
<pre>
<code>   /sbin/mount nfs_server:/export/linux/usr /usr
</code>
</pre>
<hr></blockquote>
<p>&agrave; la premi&egrave;re ligne de</p>
<blockquote>
<hr>
<pre>
<code>   /export/linux/&lt;machinex&gt;/etc/rc.d/rc.S
</code>
</pre>
<hr></blockquote>
o&ugrave; &lt;machinex&gt; signifie machine1, machine2, etc.
<h2><a name="s6">6. M&eacute;moire et espace disque requis;
vitesse</a></h2>
<p>. Je n'ai test&eacute; ceci que pour la distribution Slackware
2.3; pour d'autres distributions ou versions les nombres qui
suivent peuvent varier:</p>
<ul>
<li>Espace disque: 28Mo + 6.5Mo/machine</li>
<li>RAM: J'utilise X avec 8Mo. Comme il ne faut que 8Mo de
syst&egrave;me de pagination sur m&eacute;moire de masse, on peut
les mettre en place, je pense -- de fa&ccedil;on
s&eacute;par&eacute;e pour chacune des machines -- dans /tmp.
N'oubliez pas de lancer mkswap.</li>
<li>Vitesse: Je n'ai pas eu de probl&egrave;mes sur un 486 DX2/66
avec 8 M&eacute;gaoctets.</li>
</ul>
<h2><a name="s7">7. Erreurs possibles</a></h2>
<ul>
<li>J'ai d&eacute;couvert une erreur &eacute;trange: dans le
sous-r&eacute;pertoire /dev, SunOS a corrompu les entr&eacute;es de
p&eacute;riph&eacute;riques de telle sorte que j'ai d&ucirc;
relancer MAKEDEV en montant le sous-r&eacute;pertoire sur un
syst&egrave;me sous Linux avec disque. (La raison de cela provient
des diff&eacute;rences entre le NFS de linux et le NFS de SunOS:
tous deux utilisent 32bits pour les num&eacute;ros de
p&eacute;riph&eacute;riques Mineur et Majeur, mais linux utilise
des champs de 16bits pour ces deux num&eacute;ros, alors que SunOS
utilise un champ de 14bits pour le num&eacute;ro de
p&eacute;riph&eacute;rique Majeur, et un champ de 18bits pour le
num&eacute;ro de p&eacute;riph&eacute;rique Mineur.)</li>
<li>Quand on amorce un syst&egrave;me sous Linux sans disque, la
table de routage au serveur tftp ne contient qu'un seul routage, et
vous devez configurer des tables de routage correctes. Vous avez
pour cela deux possibilit&eacute;s:
<ul>
<li>configurer le rc.S de chacune des machines &agrave; la
main</li>
<li>utiliser un paquetage de client bootp et r&eacute;diger un
script de configuration g&eacute;n&eacute;ralis&eacute;</li>
</ul>
</li>
</ul>
<h2><a name="s8">8. Erreurs et d&eacute;veloppements possibles de
ce document</a></h2>
<ul>
<li>Citer correctement les documents li&eacute;s &agrave; tout
ceci.</li>
<li>SunOS est fond&eacute; sur BSD. Il faut inclure une
configuration de serveur fond&eacute;e sur SVR4
(c'est-&agrave;-dire sur Solaris).</li>
<li>M&ecirc;me si Linux ressemble beaucoup &agrave; SunOS en tant
que serveur bootp/tftp, il peut &ecirc;tre utile de fournir un
exemple de serveur fond&eacute; sur Linux.</li>
<li>Mettre &agrave; jour ce document pour le paquetage etherboot en
cours.</li>
<li>Montrer les diff&eacute;rences entre le noyau version 1.2.13
corrig&eacute; pour la racine NFS et le dernier noyau 1.3.x, qui
contient la correction de racine par NFS.</li>
<li>Besoin d'essayer d'autres cartes ethernet que la wd8013</li>
<li>Inclure des renseignements de configuration pour bootpc, un
client bootp pour Linux qui sert &agrave; configurer des tables de
routage correctes.</li>
<li>Fautes de frappe et autres: notifiez-les, s'il vous
pla&icirc;t, &agrave; <code>buci@math.klte.hu</code> ou &agrave;
<code>Sebastien.Blondeel@lifl.fr</code> pour la traduction
fran&ccedil;aise. Merci.</li>
</ul>
</body>
</html>