Evaluation de la classe borélienne ou projective d'un ensemble de points à l'aide des symboles logiques