record d'Europe- meilleure performance établie pour l'Europe
eine für Europa aufgestellte Bestleistung
