Marathon : les records de France hommes et femmes tombent coup sur coup à Séville