Pour éditer les fichiers gpx exportés depuis endomondo (rajouter des points quand le GPS déconne pour avoir le vrai nombre de km)