Présentation des Formules Booléennes Quantifiées (QBF) et mise en perspective avec la Hiérarchie Polynomiale.