La capture vidéo depuis le port HDMI sera finalement autorisée sur PS4