Em programação, as estruturas de repetição (também chamadas de laços ou loops) são utilizadas para executar um bloco de código várias vezes, com base em uma condição ou um número pré-definido de iterações. Qual tipo de repetição executa um bloco de código pelo menos uma vez, e depois continua repetindo enquanto a condição for verdadeira?