Démonstration «automatique» d'identités et fonctions hypergéométriques [d'après D. Zeilberger]