les fonctions logiques de base