\begin{questions}
\item La proposition est \textit{vraie}. Nous l'avons vu dans le cours, à la page \pageref{cout-algo-moyenne}.

\item La proposition est \textit{fausse}. Nous avons vu dans le cours un contre-exemple sur le problème du rendu de monnaie quand on utilise un système non canonique (voir l'anecdote de la page \pageref{anecdote-algo-glouton}).

\item La proposition est \textit{fausse}. En effet, pour corriger un algorithme, on\linebreak utilise un \textit{invariant} de boucle (et non un \textit{variant}).

\item La proposition est \textit{vraie}. En effet, si la première boucle itérative est du type \og Pour i allant de 1 à n \fg{} et si la seconde est de la forme \og Pour j allant de 1 à n \fg, alors il y aura $n \times n$ affectations au minimum, ce qui donne un coût quadratique à l'algorithme.
\end{questions}
