On cherche les nombres entiers, $a,b,c \in \N$ qui vérifient la relation de pythagore \begin{eqnarray*} a^2 + b^2 &=& c^2 \end{eqnarray*} \begin{itemize} \item Écrire une procédure \texttt{pythagore} qui prend comme argument \texttt{c} et qui renvoie $0$ si $c^2$ n'est pas somme de 2 carrés ou la liste des couples $(a,b)$ (avec $a