'Tirant', un ordenador que realiza 4,5 billones de cálculos por segundo Hoy Extremadura 1242.pdf