El bucle while tiene esta sintaxis: