Na elaboração de um código fonte , a instrução que executa uma operação até que uma condição seja verdadeira é: