L'avènement du calcul différentiel, au xviie siècle, a permis de caractériser le minimum d'une fonction f par l'équation f′(x) = 0. On résolvait ainsi d'un coup une foule de problèmes pratiques, tout en soulevant de grandes questions théoriques : peut-on affirmer a priori l'existence...