Lorsque tu as reformaté, as tu dit : prendre tout le disque pour système PS3 ?
Si oui il n'y a plus de partition linux, mais juste le bootloader.
De quel disque disposes-tu ? (taille) car si tu vois une différence entre la taille et ce qui est disponible c'est normal, c'est la swap PS3.
Pour rappel la taille dispo "a vide" = taille disque - 10% taille disque. Une 40 Go aura env 36/37Go de dispo, une 60 env. 54Go et avec un autre disque c'est similaire.
Quant au fait de reformater depuis un PC, ce n'est pas la solution, c'est plutot repartitionner depuis un PC. Le formatage n'a rien a voir. Tu pourrait le mettre en NFTS FAT FAT32 EXT3 la PS3 le reformatera a sa mise en place.