Erik Clavery bat le record du GR10 Pyrénées en 9 j 9 h 30 mn !