#include "pico/stdlib.h"

void Selection_capteur_init(void);
void Selection_capteur_select(uint32_t capteur);