Définitions équivalentes des sous-variétés

On discute les définitions équivalentes des sous-variétés (sans prouver qu'elles sont équivalentes) et on commence à introduire la notion d'espace tangent.