Path: ...!1.us.feeder.erje.net!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: =?utf-8?Q?Denis_Bitouz=C3=A9?= <dbitouze@wanadoo.fr>
Newsgroups: fr.comp.text.tex
Subject: =?utf-8?Q?C=E2=80=99est?= la =?utf-8?Q?rentr=C3=A9e?= !
 =?utf-8?Q?Expos=C3=A9?= mensuel GUTenberg : algorithme de Knuth-Plass par
 Didier Verna
Date: Mon, 08 Jan 2024 10:46:29 +0100
Organization: A noiseless patient Spider
Lines: 93
Message-ID: <87il44jgy2.fsf@example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Injection-Info: dont-email.me; posting-host="c3ca18a4cf04a1cefb3ea6cd041fe3a1";
	logging-data="1579306"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+MlfkvTdg+iaU8eMpm8ceIA7/HLDeEO/g="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:LytAvUSBsvDSQF+EVNNrYZSMbNQ=
	sha1:1eGnSlm4BJUzROgs1Pyx/nh8Yyk=
X-Url: https://mt2e.univ-littoral.fr/Members/denis-bitouze/pub/latex
X-Archive: encrypt
Bytes: 5061

Bonjour =C3=A0 tous,

Quoi de mieux, en ce d=C3=A9but d=E2=80=99ann=C3=A9e, qu=E2=80=99un expos=
=C3=A9 sur l=E2=80=99algorithme de
Knuth-Plass ?

Eh bien l=E2=80=99association GUTenberg a d=C3=A9j=C3=A0 tout pr=C3=A9vu, e=
t vous pourrez
=C2=AB venir =C2=BB =C3=A9couter Didier Verna nous parler de standard de la=
 composition
informatique jeudi 11 janvier =C3=A0 20h en visio-conf=C3=A9rence =C3=A0 l=
=E2=80=99adresse
suivante :

  =E2=94=8C=E2=94=80=E2=94=80=E2=94=80=E2=94=80
  =E2=94=82 https://greenlight.virtualdata.cloud.math.cnrs.fr/b/max-9v4-9wc
  =E2=94=94=E2=94=80=E2=94=80=E2=94=80=E2=94=80

Voici, s=E2=80=99il fallait vous convaincre, un petit r=C3=A9sum=C3=A9 de D=
idier Verna :

Malgr=C3=A9 son =C3=A2ge, TeX est aujourd=E2=80=99hui encore un standard de=
-facto en
mati=C3=A8re de mise en forme typographique. Une part non n=C3=A9gligeable =
de son
succ=C3=A8s est due =C3=A0 l=E2=80=99algorithme de justification de paragra=
phe dont il est
=C3=A9quip=C3=A9, le fameux =C2=AB Knuth-Plass =C2=BB, con=C3=A7u et d=C3=
=A9velopp=C3=A9 entre 1977 et
1982, et que Donald Knuth lui-m=C3=AAme a d=C3=A9crit comme =C2=AB probable=
ment
l=E2=80=99algorithme le plus int=C3=A9ressant de TeX =C2=BB. Mais le Knuth-=
Plass est un
artefact un peu impressionnant, que l=E2=80=99on pr=C3=A9f=C3=A8re en g=C3=
=A9n=C3=A9ral tenir
=C3=A0 distance...

Du point de vue de l=E2=80=99utilisation, sa tr=C3=A8s grande flexibilit=C3=
=A9 se paye par
un param=C3=A9trage complexe : rien moins que dix =C2=AB curseurs =C2=BB nu=
m=C3=A9riques
permettent de jouer sur la machinerie interne, influen=C3=A7ant par la m=C3=
=AAme
occasion le comportement des neuf autres. Du point de vue de
l=E2=80=99impl=C3=A9mentation, la litt=C3=A9rature qui le d=C3=A9crit m=C3=
=A9lange de fa=C3=A7on
inextricable les principes g=C3=A9n=C3=A9raux et les d=C3=A9tails d=E2=80=
=99impl=C3=A9mentation, le
tout dans un pseudo-langage algorithmique tr=C3=A8s imp=C3=A9ratif et avec =
des
structures de donn=C3=A9es de tr=C3=A8s bas niveau ; somme toute, dans un
formalisme qui date... de son =C3=A9poque.

Dans cet expos=C3=A9, je me propose de montrer qu=E2=80=99il est possible de
s=E2=80=99approcher du Knuth-Plass sans qu=E2=80=99il morde. Nous commencer=
ons par
retracer les grandes lignes de son fonctionnement global ainsi que de sa
param=C3=A9trisation.  Ensuite, nous d=C3=A9crirons son fonctionnement inte=
rne en
des termes suffisamment g=C3=A9n=C3=A9raux et compr=C3=A9hensibles par tous=
.. Nous
verrons en particulier comment l=E2=80=99algorithme de d=C3=A9part a =C3=A9=
t=C3=A9 optimis=C3=A9,
dans un contexte o=C3=B9 la puissance de calcul (=C3=A0 la fois spatiale et
temporelle) de l=E2=80=99=C3=A9poque =C3=A9tait limit=C3=A9e. Enfin, si le =
temps l=E2=80=99autorise,
nous verrons qu=E2=80=99il existe encore de nombreuses fa=C3=A7ons d=E2=80=
=99am=C3=A9liorer le
Knuth-Plass =C3=A0 peu de frais, ou en allant jusqu=E2=80=99=C3=A0 s=E2=80=
=99affranchir de ces
fameuses optimisations que la puissance des ordinateurs d=E2=80=99aujourd=
=E2=80=99hui
a rendues essentiellement obsol=C3=A8tes.

Note : en pr=C3=A9-requis =C3=A0 cet expos=C3=A9, il est fortement conseill=
=C3=A9 d=E2=80=99avoir
suivi celui de Thomas Savary sur le package Lua-Typo :

  =E2=94=8C=E2=94=80=E2=94=80=E2=94=80=E2=94=80
  =E2=94=82 https://www.youtube.com/watch?v=3DlI3V0YrlUSM)
  =E2=94=94=E2=94=80=E2=94=80=E2=94=80=E2=94=80

ou bien d=E2=80=99avoir lu ses articles de blog intitul=C3=A9s =C2=AB An=C3=
=A9antir Michel =C2=BB :

  =E2=94=8C=E2=94=80=E2=94=80=E2=94=80=E2=94=80
  =E2=94=82 https://www.juanasensio.com/archive/2023/06/13/aneantir-michel-=
houellebecq-pour-en-finir-livres-moches-par-thomas-savary.html
  =E2=94=94=E2=94=80=E2=94=80=E2=94=80=E2=94=80

En esp=C3=A9rant vous y voir nombreux,
--=20
Pour l'association GUTenberg, Denis Bitouz=C3=A9