Se ejecuta el bloque de sentencias, hasta que la condición sea verdadera