def somme_impairs_inf(n : int) -> int:
    """Précondition: n >= 0
    Renvoie la somme de tous les entiers naturels impairs 
    inférieurs ou égaux à n.
    """
    # somme calculée
    s : int = 0
    
    # impair courant  (1 est le premier impair)
    i : int = 1
    
    while i <= n:
        s =  s + i
        i = i + 2
    
    return s