CALCUL DE LOGIQUE