Réalisation de programmes de démonstration de théorèmes utilisant des méthodes heuristiques — Jacques Pitrat