La méthode de l'adversaire quantique et les limites inférieures de la taille de la formule classique