Recherche:

Une petite voix me dit que gasche a déjà rencontré Tony Hoare en personne cette année. :)

Drôle de remontage de sujet.

Pareil. Le seul indice dans ton code c'est "big_fermat", et je n'ai pas envie de chercher le rapport entre ça et ton code.

Pour trouver un invariant de boucle, il "faut" (c'est mieux) comprendre...

Merci d'utiliser de l'indentation et une balise de code afin d'éviter d'abimer mes yeux :



let big_fermat n =
if n egale deux
then [| un ; deux |]
else
let x = ref ((deux fois...