Somme des chiffres

def somme_chiffres(n):
    """
    Invariant : somme + (valeur résiduelle de n) = somme initiale des chiffres
    Variant : n (strictement décroissant à chaque itération)
    """
    somme = 0
    n = abs(n) # Gestion des entiers négatifs
    while n > 0:
        somme += n % 10
        n //= 10
    return somme

Illustration pour $n=1234$ :

• Itération 1 : $n=1234$, $\text{somme}=0+4=4$, $n=123$
• Itération 2 : $n=123$, $\text{somme}=4+3=7$, $n=12$
• Itération 3 : $n=12$, $\text{somme}=7+2=9$, $n=1$
• Itération 4 : $n=1$, $\text{somme}=9+1=10$, $n=0$

Résultat : $1+2+3+4=10$.