Title: Algorithmes de demonstration automatique pour le calcul des predicats classique