la recherche symbolique n'est capable de trouver que des formules simples