Comment passer à la ligne dans une cellule ?#
Dans les colonnes de type paragraphe (p
dans la définition), on dispose de
toutes les commandes usuelles de retour à la ligne, sauf évidemment de
\\
, qui indique la fin de la ligne de cellules du tableau. Selon
l’effet désiré, on pourra utiliser : \newline
, \par
, ou la classique ligne
blanche de séparation de paragraphes.
Les colonnes de type c
, l
ou r
ne sont pas conçues pour contenir plus
d’une ligne. Si l’on tient à la mise en forme (justification, centrage, …),
il faut utiliser une colonne de type p
, dans laquelle on introduira la
commande de formattage désirée. Le problème est alors que les commandes
\raggedleft
, \raggedright
et \centering
redéfinissent \\
. On se
retrouve alors dans la situation inverse de celle de la réponse précédente :
lorsque l’on utilise ces commandes (ou au moins leur définition de \\
)
dans un tableau, la commande \\
n’indique plus un changement de ligne
dans le tableau, mais un passage à la ligne dans la cellule. La commande
\tabularnewline
, qui est équivalente à \\
habituellement, devra alors
remplacer celle-ci pour indiquer la fin d’une ligne du tableau.
En combinant tout ceci avec l’extension array, qui permet de spécifier 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 pour changer la fonte d’une colonne), vous pouvez écrire ceci :
\documentclass[french]{article}
\usepackage[T1]{fontenc} % Encodage T1 (adapté au français)
\usepackage{lmodern} % Caractères plus lisibles
\usepackage{babel} % Réglages linguistiques (avec french)
\pagestyle{empty} % N'affiche pas de numéro de page
\usepackage{array}
\thispagestyle{empty}
\begin{document}
\begin{tabular}{|l>{\raggedleft}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}