"dobbel prestasjon" er et 17-bokstavers substantiv som brukes som synonym for "dobbeltriumf". dobbeltriumf betyr: To vellykkede prestasjoner