#include "pico/stdlib.h" void Selection_capteur_init(void); void Selection_capteur_select(uint32_t capteur); void Selection_capteur_deselect(void);