Les OG ont tous été vendus à MicroStrategy ?