Je n'ai pas de clone, mais je crois que ça marche.
Sous Windows 10 (Jean-Luc est sous Mac) :
Tu vas sous C:\Program Files (x86)\Arduino\hardware.
C'est un dossier qui existe déjà.
Là, tu crée la directory "clones"
Dans cette directory, tu mets ton board.txt (en copiant collant le texte du post de Jean-Luc)
Tu lances Arduino et, depuis la 1.6.5 (au moins), tu vas dans "outils, type de carte" et, dans la fenêtre qui s'ouvre à droite, tu choisis le "gestionnaire de carte".
Là, tu remarqueras qu'il y a déjà pas mal de mises à jour qui te sont proposées, même si tu utilises des arduinos officiels, régulièrement mis à jours.
Et tu trouves dans la liste :
Arduino SAMD Boards (32-bits ARM Cortex-M0+)
Arduino/Genuino Zero, Arduino/Genuino MKR 1000
Il doit y avoir un bouton "installer"
Et tu peux l'installer.
Comme dit Jean-Luc : tu fermes Arduino et tu le rouvres.
Et tu le retrouves dans la liste "Outils/Type de carte"
Dis-moi ce que ça donne.