Une limite inférieure quantique pour la complexité de la requête du problème de Simon