Description: cette fonction
est une boucle qui construit une liste de la manière suivante: <expression> et <condition>
sont évaluées jusqu'à ce que le résultat de <condition> soit égal à 1
[pour TRUE] ou Nil, la fonction Loop renvoie alors la liste des résultats de <expression>.