Salut,
Pour formater la carte SD que j'utilise avec mon Raspberry Pi 3, j'ai pris SDcardformatter (logiciel recommander par Recalbox)
https://www.recalbox.com/diyrecalbox
https://www.sdcard.org/downloads/formatter_4/
Où as tu acheté ta carte ? Le fait qu'elle affiche aussi peu de capacité par rapport à ce qu'elle devrait, ça me fait penser à de la contrefaçon...