import time
from machine import Pin #
led_jaune=Pin(23,Pin.OUT) # 
led_rouge=Pin(22,Pin.OUT) # 
led_verte=Pin(21,Pin.OUT) # 

while True:
 led_jaune.value(1) # 
 led_rouge.value(0)
 led_verte.value(0)
 time.sleep(1) # 
 led_jaune.value(0) # 
 led_rouge.value(1) # 
 led_verte.value(0) # 
 time.sleep(3) # 
 led_jaune.value(0) # 
 led_rouge.value(0) # 
 led_verte.value(1) # 
 time.sleep(3) #