Enviar aquest missatge de text: Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance