les fonctions logiques