Double implementation in Nash and strong Nash equilibria