def factorielle(n : int) -> int:
    """Précondition : n >= 0
    Retourne le produit factoriel n!
    """
    # Rang
    k : int = 1   
    
    # Factorielle au rang k
    f : int = 1
    
    while k <= n:
        f = f * k
        k = k + 1
        
    return f