Différences

Ci-dessous, les différences entre deux révisions de la page.

--- composition:tableaux:colonnes:fixer_la_largeur_et_justifier_une_colonne [2020/12/20 18:29] – Ajout de mots-clefs OpenGraph. Liens internes. Test de l'exemple --> ne fonctionne pas dans la page web. jejust
+++ 2_composition:tableaux:colonnes:fixer_la_largeur_et_justifier_une_colonne [2020/12/21 19:18] (Version actuelle) – Renommage des sections de base: correction des liens internes. jejust
@@ Ligne 25: / Ligne 25: @@
 dans la définition d'une colonne une commande qui sera systématique appliquée
 au contenu de chacune des cellules de cette colonne (même technique que
-[[composition:tableaux:colonnes:changer_la_fonte_d_une_colonne|pour changer la fonte d'une colonne]]),
+[[3_composition:tableaux:colonnes:changer_la_fonte_d_une_colonne|pour changer la fonte d'une colonne]]),
 on peut écrire ceci:
@@ Ligne 55: / Ligne 55: @@
 </code>
-FIXME Cet exemple ne compile pas dans cette page (le processus lualatex ne termine jamais).
+qui donne après compilation:
+<latexdoc>
+\documentclass[french]{article}
+\usepackage{lmodern}
+\usepackage{array}
+\usepackage{babel}
+\makeatletter
+\newcommand\justify{%
+  \let\\\@centercr
+  \rightskip\z@skip
+  \leftskip\z@skip}
+\makeatother
+\begin{document}
+\thispagestyle{empty}
+\begin{tabular}{|l>{\justify}p{5cm}|}
+\hline
+LTL & Logique du temps linéaire : cette logique
+      permet d'exprimer des propriétés sur une
+      exécution du système. \\
+      Le model checking et la satisfaisabilité
+      sont alors PSPACE-complets.
+      \tabularnewline[3mm]
+CTL & Logique du temps arborescent : cette logique
+      exprime des propriétés sur l'arbre de
+      toutes les exécutions possibles. \\
+      Le model checking est P-complet, mais la
+      satisfaisabilité est EXPTIME-complète.
+      \tabularnewline
+\hline
+\end{tabular}
+\end{document}
+</latexdoc>