Este bucle evalúa la condición de salida antes de ejecutar las acciones que tiene definidas dentro del cuerpo del mismo.