El más corto conocido: