\exo {\' Equation~: vérifier qu'un nombre est solution} Le nombre $a = -1+\sqrt 2$ est-il solution de l'équation $$ 2 x^2 + (5 - 2\sqrt 2) x = 3\sqrt 2 - 3~? $$ \finexo