The talk will be the occasion to take a few minutes to describe the situation of math education in France and in Europe, to motivate the interest of the lecturer in trying to bring back rigorous proofs in integration theory. The remaining 45 minutes will be devoted to explaining the basics of Henstock-Kurzweil integration theory, which, although not a response to education problems, is a modern and elementary approach of a very strong extension of the Riemann integral, providing easy access to several fundamental results of Lebesgue theory (monotone convergence theorem, existence of Lebesgue measure, etc.).