Résultats en direct de Henrique Rocha contre Pedro Martinez le 20/07 dans le tournoi ATP Estoril, Portugal Men Singles