vscode 2 Un environnement Arduino portable pour les établissements scolaires 27/06/2026 Une extension Visual Studio Code officielle pour programmer votre Raspberry Pi Pico 20/04/2025