Exercice 1 :
1.	a)  cette fonction calcule n²
	b)	P: n >= 0
		S: la suite d'instructions du programme
		Q: r = n²
	c)
		S:
		=>	P1: r = n*(n-cpt)
			E1: cpt > 0
			S1: r = r+ n et cpt = cpt -1
			Q1:P1 et nonE1 
			
	d) 	{n >= 0}
		 cpt = n et r = 0
		{cpt = n et r = 0} // affectation
			
		{r = n*(n-cpt) et cpt > 0} // conséquence (invariant)
		
		while(cpt > 0){
		
			{0 < cpt <= n} // boucle
			{0 <= r} // boucle
			r = r + n
			cpt = cpt - 1
			{-1 < cpt-1 <= n-1} // affectation
			{n <= r+n <= n²+n} // affectation
			
			{r = n*(n-cpt)} // conséquence
			
		}
		{r = n*(n-cpt) /\  } // boucle
		{} // consequence