Une preuve formelle et intuitionniste du théorème de complétude de la logique classique.