se volessi formattarlo cosa mi consigli fat32 o ext3?