Maintenant que vous avez ajouté l'URL appropriée dans les préférences d'Arduino IDE, vous pouvez ouvrir le '''Gestionnaire de carte''' (''Boards Manager'') en passant par le menu '''Outils -> Cartes''' (''Tools->Board''). | Maintenant que vous avez ajouté l'URL appropriée dans les préférences d'Arduino IDE, vous pouvez ouvrir le '''Gestionnaire de carte''' (''Boards Manager'') en passant par le menu '''Outils -> Cartes''' (''Tools->Board''). |