Exercice 1 - Exponentiation

Ecrire un algorithme de calcul de $b^n$ où $n$ est un entier positif ou nul. Prouver sa terminaison et sa validité.