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)
 timesleep (3)
 led_jaune.value(0)  
 led_rouge.value(0)
 led_verte.value(1
 )