| Les José Manuel Pinto Rocha arbitres du match ne sons pas connus |
| Comme assistant |
| Les José Manuel Pinto Rocha arbitres du match ne sons pas connus |
| Comme assistant |
| Nom complet: | José Manuel Pinto Rocha |
| Né le: | 27.12.1957 |
| Né à: |
Portugal |
| Nationalité: |
Portugal |