---
myst:
  html_meta:
    keywords: LaTeX,mise en forme de tableaux,saut de ligne dans un tableau
---
# 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 le package <ctanpkg: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](/3_composition/tableaux/colonnes/changer_la_fonte_d_une_colonne)), on
peut écrire ceci :

```
\documentclass[french]{article}
\usepackage{lmodern}
\usepackage{array}
\usepackage{babel}

\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}
```