La trilogie de jeux « Tomb Raider » est rééditée