Bonjour Jepoti213,
Je suis pas expert sur le domaine mais voici quelques remarques.
• J'ai pu me tromper dans les calculs mais je trouve qu'aux points (-4/3, 0, z) on a la différentielle de f qui n'est pas surjective.. Donc localement f n'est pas une submersion. Mais c'est pas gênant car ces points ne sont localement pas dans S.
Lorsque que tu definis S sous variété par équation locale, i.e. à l'aide d'une submersion , p désigne la dimension de la sous variété.
• Le théorème du rang s'applique pour des applications linéaire, ici f ne l'est pas.
• Et oui l'espace tangent (vectoriel) de S en (0,0,0) est le noyau de la différentielle en (0,0,0) d'une submersion.