Démonstration «automatique» d'identités et fonctions hypergéométriques