from hcsr04 import HCSR04
from time import sleep
from machine import Pin
ledr=Pin(23,Pin.OUT)
sensor=HCSR04(trigger_pin=5, echo_pin=4, echo_timeout_us=10000)
def Allumerled():
    ledr.value(1)
    sleep(2)
def eteindreled():
    ledr.value(0)
    sleep(2)
while True:
    distance = sensor.distance_cm
    if distance<10:
        Allumerled()
    else:
        eteindreled()