Lectura de código real
Leer bajar
función bajar(a, i): repetir: menor ← i para h en (2i + 1, 2i + 2): si h < longitud(a) y a[h] < a[menor]: menor ← h si menor = i: devolver intercambiar a[i] y a[menor] i ← menor