Comment passer à la ligne dans une cellule ?

Dans les colonnes de type paragraphe (p dans la définition), vous disposez 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é, vous pourrez 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 vous tenez à la mise en forme (justification, centrage, …), il faut utiliser une colonne de type p, dans laquelle sera placée la commande de formattage désirée. Le problème est alors que les commandes \raggedleft, \raggedright et \centering redéfinissent \\. Vous vous retrouverez dans une situation inverse de celle de la question « Comment modifier la justification du texte dans une cellule ? ». 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 celle vue à la question « Comment 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}