Procuratore fa causa alla lotteria elettorale di Musk