'While not(K' remplace le par un 'Repeat K' ça prend moins de place.