Théorème de Sard

Recasages : 214, 215

C'est un développement qui est assez difficile à présenter car les sources sont elliptiques sur la preuve. C'est pourquoi j'ai essayé de détailler au maximum les arguments (on peut faire un très beau dessin aussi).

Comme je précise dans les compléments ce théorème est un pilier de la topologie différentielle, il a donc tout à fait sa place dans les plans de leçon sur le calcul différentiel (vérifié par un professeur). Cependant, je ne sais pas si je garderai ce développement pour le jour J car il est fortement hors-programme.

Si vous avez des questions sur le développement vous pouvez m'envoyer un email, je répondrai avec plaisir.