Équivalences et forme prénexe pour les formules booléennes quantifiées.