Small, but important progress … I made the holes and selected the LEDs I'm going to use. "La suite en images"
 |
| https://smile.amazon.com/dp/B098CF3VMM |
 |
| https://tonystrains.com/product/miniatronics-12-821-10-2mm-tower-led-red-10-pack |
It was fairly easy to drill those holes; the main challenge was to stay centered. I'm okay with the outcome:
I used the 1.5mm bit to drill the holes for the red lights. The white LEDs from Miniatronics fit right in, the red ones need to be sanded a bit from 2mm to 1.5mm. That's the next task!