éteints = 0

pour nc dans [1..8]
    piquet = puissance 2, nc
    pour n dans [0...piquet]
        m = (piquet+n).toString 2
        m = m[1..]
        [gottferdam, tt] = évaluer m
        éteints++ si gottferdam

affiche "#{100*éteints/piquet} % des populations initiales sont vouées à l'extinction !"