Oui, et c'est valable dans un cas beaucoup plus général.

on fait comment?

personne ^^"

Bonsoir Sinalpha,

Si u=(x,y,z) on recherche le point v(x',-x',z') de P tel que v-u soit orthogonal à P c'est-à-dire v-u=t*(1,1,0) puisque le vecteur (1,1,0) est normal à P.
On en tire z'=z, 2t=-x-y d'où on déduit x' et y'.
L'application qui à u associe v est linéaire (se vérifie facilement).