Ah c'est bon j'ai trouvé, merci !
J'ai l'impression qu'il a été ajouté entre-temps par quelqu'un de Géovélo : https://www.openstreetmap.org/node/13555921068/
Je me permets de clore la note du coup, mais n'hésitez pas à la rouvrir si c'est pas bon. :)