La LED embarquée est une RGB
La DevKitC-1 n’a pas de LED monochrome simple : sa LED intégrée est une RGB adressable (WS2812) sur GPIO48. Un digitalWrite(LED_BUILTIN, ...) ne suffit pas toujours à la piloter ; utiliser rgbLedWrite(RGB_BUILTIN, r, g, b).