racine_carree : une fonction (a : un réel, n : un entier) -> un réel
lexique : {Local à racine_carre}
    racine: un réel
    i : un entier
Algorithme : {Local à racine_carre}
    Début
        i <- 0
        racine <- 1
        Tant que i < n
            racine <- (racine + a / racine)/2
            i <- i + 1
        FinTantQue        
        Retourner(racine)
    Fin