Un Programme de démonstration de théorèmes — Jacques Pitrat