@incollection{SB_1991-1992__34__41_0,
     author = {Cartier, Pierre},
     title = {D\'emonstration {\guillemotleft} automatique {\guillemotright} d'identit\'es et fonctions hyperg\'eom\'etriques},
     booktitle = {S\'eminaire Bourbaki : volume 1991/92, expos\'es 745-759},
     series = {Ast\'erisque},
     note = {talk:746},
     pages = {41--91},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {206},
     year = {1992},
     mrnumber = {1206064},
     zbl = {0796.33014},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1991-1992__34__41_0/}
}