Esta estructura de control siempre permite la ejecución del cuerpo del bucle cuando menos una vez, y lo finaliza cuando la condición es cierta.