On fait un DL de h(x_*+ru)= h(x_*)+r<grad h(x_*),u> + o(r) et x_*+ru est dans V_b car Au=0. Si <grad h(x_*),u> n'Ă©tait pas nul alors pour r assez petit et du bon signe on aurait h(x_*+ru)<h(x_*), ce qui est absurde.
C'est juste les extremas liés sans le dire.