BBC micro: bit, l’appareil utilisé par les enfants britanniques pour