PS4 : Une mise à jour pour apporter le HDR, la 4.0 dans la foulée ?