Ajout du test de formules logiques au main.