Une droite en pixels est-elle vraiment une droite ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Alors aujourd'hui, on va plonger dans une chose qui paraît hyper évidente pour tout le monde.

Intervenant 20:07

Ouais, la forme la plus basique qui soit quoi.

Intervenant 10:09

Exactement, la ligne droite. Enfin, je veux dire, depuis la Grèce antique, depuis les travaux d'Euclide, c'est une certitude absolue. C'est vraiment le socle de notre compréhension de l'espace.

Intervenant 20:19

C'est ça. Dans notre tête, une ligne droite, c'est forcément continu, c'est infini et c'est parfaitement lisse.

Intervenant 10:24

Sauf que, il y a un événement très moderne qui est venu tout casser. L'allumage d'un écran. À la seconde même où un ordinateur ou un smartphone s'éclaire, cette certitude millénaire, elle vole en éclats.

Intervenant 20:36

Complètement. C'est un vrai choc frontal entre deux mondes.

Intervenant 10:39

Et c'est pour ça qu'aujourd'hui, on explore un super dossier rédigé par Cécile Ouvrier-Buffet. Ça s'intitule « Les droites discrètes, naissance d'une nouvelle géométrie ».

Intervenant 20:47

Un titre qui pose super bien le problème

Intervenant 10:50

d'ailleurs. L'objectif de notre exploration aujourd'hui, c'est vraiment de comprendre comment une banale grille de pixels, celle-là même qui affiche des images au quotidien, a forcé les mathématiciens à remettre en question 2000 ans de géométrie classique.

Intervenant 21:06

Et même à forger un univers mathématique totalement inédit. Parce que c'est vraiment un choc fondamental en fait.

Intervenant 11:13

Carrément. Et pour bien capter l'ampleur de cette révolution, il faut d'abord opposer ces deux mondes qui clairement refusent de cohabiter.

Intervenant 21:21

Ben oui, d'un côté on a l'héritage du Clyde. Dans ce monde classique, la géométrie est parfaitement continue.

Intervenant 11:29

Ce qui veut dire que ?

Intervenant 21:30

Ça veut dire qu'entre deux points d'une ligne, on peut toujours, toujours trouver un autre point. On peut zoomer à l'infini, la matière géométrique sera toujours là. Elle est inépuisable.

Intervenant 11:40

D'accord, je vois. Si on devait prendre une image visuelle vraiment concrète, la géométrie euclidienne, ce serait un toboggan en métal parfaitement lisse. On glisse dessus sans jamais ressentir la moindre petite secousse.

Intervenant 21:55

C'est une super image, mais le problème, c'est que la géométrie de nos écrans, ce qu'on appelle la géométrie discrète, c'est l'inverse total.

Intervenant 12:02

Ouais, parce que l'écran, c'est une grille. C'est composé de pixels avec des coordonnées super précises, que des nombres entiers.

Intervenant 22:09

Exactement. C'est un peu comme si on te demandait de reconstruire ton fameux toboggan parfait, mais en ayant uniquement des briques de Lego carrées à disposition.

Intervenant 12:18

Ah ouais, la galère. On ne peut plus faire de pente lisse, du coup. On ne peut construire que des escaliers.

Intervenant 22:23

Voilà. Et la question immédiate qui surgit pour les mathématiciens, c'est face à cet escalier en Lego, est-ce que les règles du toboggan fonctionnent encore ?

Intervenant 12:32

Ils imaginent que la réponse est non.

Intervenant 22:35

Ah bah la réponse est clairement non. Les anciennes règles s'effondrent totalement. Et c'est ce dilemme central qui a été théorisé par l'informaticien Jean-Pierre Reveillès dans sa thèse fondatrice.

Intervenant 12:48

Celle sur la géométrie algorithmique, c'est

Intervenant 22:50

ça ? C'est ça. Il a mis en lumière une vraie crise existentielle pour les maths. Dans ce nouveau monde fait de blocs indivisibles, de pixels donc, il n'existe plus aucune définition canonique unique pour les objets géométriques.

Intervenant 13:04

Attends, ça veut dire que les géomètres ont dû faire un choix ?

Intervenant 23:06

Oui, un choix vertigineux même. La première voie, c'était le bricolage. Prendre la géométrie classique, la tordre dans tous les sens et essayer de la forcer à rentrer dans la grille de pixels.

Intervenant 13:17

Un peu comme forcer un cube dans un trou rond. Et la deuxième option. Les ordis sont arrivés dans les années 60, il fallait bien afficher des trucs à l'écran tout de suite.

Intervenant 23:24

Ah oui, l'urgence était là. Les informaticiens n'avaient vraiment pas le temps d'attendre une nouvelle géométrie théorique. Ils ont dû trouver une solution pratique et vite.

Intervenant 13:32

Et c'est là qu'intervient la fameuse première méthode, un peu l'illusion parfaite.

Intervenant 23:37

Exactement, c'est le contexte parfait pour parler de l'algorithme de Jack Bresinam, apparu en 1965. On l'appelle aussi la méthode J-I-Q, pour quantification par intersection de grilles.

Intervenant 13:48

D'accord. Et comment ça marche concrètement, vicio-concrètement ? Parce qu'à l'époque, la puissance de calcul des ordi, c'était ridicule par rapport à aujourd'hui.

Intervenant 23:58

Complètement ridicule. Brezenham a donc proposé une idée d'une efficacité redoutable. Le principe est simple, on calcule d'abord la trajectoire de la droite euclidienne parfaite, le fameux toboggan lisse dont tu parlais.

Intervenant 14:12

Ok, donc on garde l'ancien modèle en mémoire.

Intervenant 24:14

Voilà. Ensuite, on superpose virtuellement ce toboggan à notre grille d'écran. Et à chaque fois que la ligne lisse traverse une colonne verticale de la grille, l'algorithme regarde quel est le centre de pixel le plus proche de cette intersection.

Intervenant 14:30

Et il allume ce pixel-là.

Intervenant 24:32

C'est exactement ça. Il allume le pixel le plus proche, tout bêtement.

Intervenant 14:35

Alors, on décortique ça à l'instant, parce que si je comprends bien le mécanisme, on ne crée pas vraiment une ligne en Lego. On dessine le toboggan lisse en arrière-plein, dans la mémoire de la machine, et on se contente d'allumer les briques qui sont touchées par l'ombre de ce toboggan.

Intervenant 24:48

Oui, c'est une très bonne façon de le voir.

Intervenant 14:50

Mais c'est de la triche en fait. Enfin, je veux dire d'un point de vue conceptuel, on n'a pas du tout inventé une nouvelle géométrie, on a juste programmé un traducteur. Et un traducteur un peu imparfait même.

Intervenant 24:59

Ah mais tu mets le doigt en plein dessus. D'un point de vue purement théorique, c'est une impasse. C'est une projection dégradée du continu vers le discret.

Intervenant 15:08

L'objet discret n'a donc aucune existence propre ?

Intervenant 25:10

Aucune. Pour que l'algorithme de Brezenham dessine la ligne, il a obligatoirement besoin de connaître les coordonnées exactes du point de départ et d'arriver dans l'espace parfait euclidien. Sans ce fantôme continu en arrière-plan, la méthode s'écroule.

Intervenant 15:26

Ce qui révèle quand même une limite énorme. On reste totalement dépendant de l'ancien monde. C'est génial pour l'ingénierie, pour faire tourner un vieil écran rapidement, mais pour l'esprit mathématique, c'est pas satisfaisant du

Intervenant 25:37

tout. Pas du tout. Pour construire une vraie théorie, il fallait trouver le moyen de couper le cordon ombilical avec Euclide.

Intervenant 15:43

Mais comment on fait ça ? Comment on définit une ligne droite uniquement en observant l'agencement des briques de Lego, sans jamais invoquer le fantôme du toboggan lisse ?

Intervenant 25:52

Eh bien, c'est ce besoin d'autonomie qui a poussé les chercheurs à changer radicalement d'approche.