Gonéo
The cycle lanes exist. You can see them with the CyclOSM view.

The cycle lanes are actually attached to the sidewalk, which leads to a poor rendering. This has been discussed and they should be mapped separately (a way by itself).