Introduction \`a l'int\'egration formelle

Contrairement \`a nous, les syst\`emes de calcul formel ne calculent pas les primitives en appliquant une collections d'astuces, mais avec un algorithme. Ainsi, sur une classe de fonctions \'el\'ementaires bien d\'efinie, lorsqu'un syst\`eme ne trouve pas de r\'eponse, cela prouve qu'il n'existe pas de primitive \'el\'ementaire. On donnera dans cet expos\'e une pr\'esentation des algorithmes utilis\'es et de leur contexte th\'eorique.