Du principe de Lacroux

["Jean Fontaine" <jfontain@xxxxxxxxxxx>]

>P.S. : Qu'est-ce que c'est que ce "principe de Lacroux" dont vous parlez
assez
>souvent?

C'est l'équation fon-da-men-tale de la typographie, énoncée par J.-P.
Lacroux (équation à graver dans sa mémoire dans une belle incise
monumentale) :

          qt(x) = L / ql(x)

où :

la variable x = texte quelconque (mesuré en bits)
la fonction ql(x) = « qualité littéraire de x » (mesurée en molières)
la fonction qt(x) = « qualité typo minimale de x  » (mesurée en
blanchards)
la constante  L = constante universelle de Lacroux

Ce qu'exprime donc cette relation, c'est que la soin typographique minimal
à donner à un texte est inversement proportionnel à la qualité intrinsèque
du texte.

La valeur de la constante universelle de Lacroux est de 3,1416
blanchards-molières à température, pression et salaire ambiants. (Cette
valeur décroît avec la pression et la température. Elle croît avec le
salaire.)

Remarquez qu'on ne parle pas encore de « théorème de Lacroux », mais bien
de « principe de Lacroux » (ou « conjecture », ou encore « postulat »),
car sa démonstration complète, fort complexe, n'a pas encore été réalisée
(cette démonstration est le graal de tout apprentypographe) et on n'a même
pas encore prouvé si cette démonstration est possible ou non. Pour cette
raison, certains ont voulu contourner ce postulat jugé (jusqu'à nouvel
ordre) irrecevable.

Les typographies construites sans recours au postulat de Lacroux sont
appelées typographies non-lacroussiennes. Elles sont de deux types, selon
le postulat qu'elles adoptent :

- par un point pica, on peut faire passer une infinité de typographies
parallèles à un texte (typographies hurtigiennes)
- par un point pica, on ne peut en faire passer aucune typographie
parallèle à un texte (a-typographie blanchardienne)

Laquelle de ces typographies, lacroussiennes ou non, est celle qui
correspond réellement à notre univers? Pour l'instant, les spécialistes se
perdent en conjonctures. C'est à suivre.


Jean Fontaine
jfontain@xxxxxxxxxxx