Resultados en vivo de Pedro Martinez vs David Jorda Sanchis el 18/07 en el torneo ATP Estoril, Portugal Men Singles