Records de Marin Petric en compétitions européennes