import machine
import time

led_red = machine.Pin(15, machine.Pin.OUT)
led_green = machine.Pin(14, machine.Pin.OUT)
button1 = machine.Pin(16, machine.Pin.IN, machine.Pin.PULL_DOWN)
button2 = machine.Pin(17, machine.Pin.IN, machine.Pin.PULL_DOWN)

led_blink = machine.Pin(13, machine.Pin.OUT)
compteur = 0
compteur2 = 0

while True:
    # ... gestion des boutons (inchangée) ...

    compteur += 1
    if compteur >= 5:        # 5 x 0,1 s = 0,5 s
        led_blink.toggle()
        compteur = 0

    time.sleep(0.1)

    if button1.value() == 1:
        led_red.on()
    else:
        led_red.off()

    if button2.value() == 1:
        led_green.on()
    else:
        led_green.off()

    time.sleep(0.1)