\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[bookmarks]{hyperref}
\usepackage[margin=1in]{geometry}
\usepackage{amsmath, amssymb}

\begin{document}

\paragraph{1.C.1.b}

Supposons qu'on a $\begin{cases}
	h = ((a_1, t_1), \ldots, (a_r, t_r)) \\
	t_1 \le t_2 < t_3 < \cdots < t_r
\end{cases}$.

\begin{align*}
	h = ((a_1, t_1), \ldots, (a_r, t_r)) \\
	&= \max \operatorname{haut} a_1, \ldots, a_r \\
	&= t_1 \\
	&=  \\
\end{align*}

\paragraph{1.C.2.c}

On suppose \verb|h| TC.

\begin{itemize}
	\item Si \verb|a :: h| est TC, c'est fini.
	\item Sinon: on renvoie \verb|[percole Noeud(a1, a2, a3), a3, ..., ar]|
\end{itemize}

\paragraph{1.C.3.a}

Dans le pire des cas, \verb|constr_liste_tas| est appelée $n$ fois sur une liste de tas parfaits vérifiant TC.

Dans le pire des cas pour \verb|ajoute|, on effectue une percolation.

Si la liste n'est pas triée, les percolations coûtent $O(\operatorname{haut tas})$ =  $O(\log_2 n)$

Au total, on a au pire une complexité en $O(n\log_2 n)$

\paragraph{1.D.3}


\end{document}
