Cloner Arduino core for ESP8266 WiFi chip GitHub à la main dans hardware/esp8266com/esp8266

Bonjour,
J'essaye de cloner le code arduino du 8266 GitHub à la main dans hardware/esp8266com/esp8266.
Tout se passe à merveille jusqu'à l'installation de python3 avec python3 get.py

J'ai ce retour dans mon invite de commande :

D:\Documents\Arduino\hardware\esp8266com\esp8266\tools>python3 get.py
'python3' n'est pas reconnu en tant que commande interne
ou externe, un programme exécutable ou un fichier de commandes.

Je suis sous :

  • windows 8.1 ;
  • j'ai installé python 3.9.6 en suivant le lien de Github ;
  • j'ai l'Ide arduino 1.8.15.

Il est vrai que si je vais dans le répertoire python39, j'ai un fichier python.exe et non pas python3.exe...

Merci pour votre aide.

Il suffit de mettre get.py au lieu de python3 get.py....