Elon Musk veut une usine de satellites intégrant l'IA sur la lune.