You can convert a video to an MP3 file using Adobe Media Encoder, which can help save you storage space on your device.
You can format an SD card using Windows, Mac, and Android devices, and likely your digital camera too.