%\begin{Exo}
%\end{Exo}

\begin{Cor}\ \\
\begin{Que}
\begin{equation*}
\begin{split}
P  & \longrightarrow debut~S~L\\
L  & \longrightarrow end~|~;~S~L\\
S  & \longrightarrow I~|~debut~S~L\\
I  & \longrightarrow A~|~IC~|~B\\
A  & \longrightarrow id~:=~id\\
IC & \longrightarrow si~C~alors~S~sinon~S\\
B  & \longrightarrow tantque~C~faire~S\\
C  & \longrightarrow (~id~<~id~)\\
\end{split}
\end{equation*}
\end{Que}

\begin{Que}
{\em Facile}
\end{Que}

\begin{Que}
Rappels~:
\begin{description}
\item[premier(X) :] les terminaux qui commencent les chaines dérivées de X.
\end{description}

\[\begin{array}{c||l|l|}
 & \multicolumn{2}{|c|}{premier(X)}\\\hline\hline

P  & \{debut\} &\\
L  & \{end,~;~\} &\\
S  & premier(I) \cup \{debut\} & \{id,~si,~tantque,~debut\}\\
I  & premier(A) \cup premier(IC) \cup premier(B) & \{id,~si,~tantque\}\\
A  & \{id\} &\\
IC & \{si\} &\\
B  & \{tantque\} &\\
C  & \{(\} &\\\hline

\end{array}\]
\end{Que}

\end{Cor}

