Found them on a local shop (auto center) and got 5 for 4,50€. It takes only 3 minutes to change the 5 leds (you can manage to change all the others too :p ) the leds for the "global lightning" have blue pots and the clock have a brown pot.
If you want a brighter but more "orange" lightning...