Exercice : Découpage en fonctions

★★ Avancé

Ératosthène de Cyrène (IIIe siècle av. J.-C.) a élaboré un procédé algorithmique pour obtenir la liste des nombres premiers. Le script Python ci-dessous implémente cette méthode pour filtrer les entiers de $2$ à $n$ :

def crible_eratosthene(n):
    nombres = list(range(2, n + 1))
    premiers = []
    while len(nombres) > 0:
        p = nombres[0]
        premiers.append(p)
        nombres = [x for x in nombres if x % p != 0]
    return premiers

Déterminer la valeur renvoyée par l'instruction len(crible_eratosthene(20)).