Marvel’s Avengers ocupará bastante espacio en PS4, según una filtración