Durante o ensino de algoritmos, é necessário explicar estruturas de controle que permitem a execução repetitiva de um bloco de código até que uma condição seja satisfeita. Assinale a alternativa correta que identifica a estrutura de repetição que garante que o bloco de comandos seja executado pelo menos uma vez, pois o teste lógico é realizado no final do laço.