Le block suivant est executé tant que l'assertion est valide (ou fausse dans le cas de until), la boucle peut être manipulée avec les fonctions last, pour terminer la boucle, next pour sauter à la prochaine itération et redo pour refaire la même itération
