https://www.openstreetmap.org/way/171657476

Thank you!
Added it (I will upload the changeset tonight).
Also, just a reminder, be careful about your sources (in this case the hiking map), some might be protected by copyright https://wiki.openstreetmap.org/wiki/Copyright. (Google Maps is, French IGN paper maps were)

Thank you, happy hikes & mapping! ;)