Démonstration de la caractérisation de l'espace tangent en un point d'une sous-variété avant de passer au théorème des extrema liés.
Je n'ai malheureusement pas de livre de référence, la démonstration provient du remarquable cours d'un non moins remarquable enseignant que j'ai eu à Orsay.