add gpx_id
ajout de type.mli