Trabajo de seguimiento aceptado en DISC: acuerdo bizantino asíncrono multivalorado con seguridad perfecta y resistencia óptima dado el ABA binario en O(nL+n^2 log n)