Test sur les formules logiques.