Copiez et collez le lien ci-dessous dans l'option URL des gestionnaires de cartes supplémentaires dans les préférences IDE Arduino. | Copiez et collez le lien ci-dessous dans l'option URL des gestionnaires de cartes supplémentaires dans les préférences IDE Arduino. |