logique rationnelle