Application des γ-operateurs au Calcul Logique du Premier Echelon