Auteur : Pierre-Etienne Meunier (LAMA - LIAFA) Titre : Patoline : la typographie "lego" en OCaml Abstract : Depuis TeX82, bien peu d'outils ont été développés pour la typographie automatique, en particulier des mathématiques. Dans cet exposé, je présenterai une collection d'outils et de bibliothèques OCaml, développés au LAMA en 2012, pour l'écriture de documents structurés. L'une des idées directrices de notre approche est de rendre les parties de ce projet les plus indépendantes possible, pour éviter de tomber dans le piège de TeX et LaTeX, qui ont enfermé leurs utilisateurs dans un langage immobile pendant 30 ans. Ainsi, il est possible de remplacer des morceaux de Patoline à presque tous les niveaux, tout en restant compatible avec le reste : on peut changer le langage, l'algorithme d'optimisation, le driver de sortie, le modèle de structure des documents… tout en conservant le reste des fonctionnalités.