Una struttura di controllo che ripete un blocco di codice fino a quando non viene soddisfatta una condizione.