Krivine's intuitionistic proof of classical completeness (for countable languages)